Computation on graph-like expressions. (English) Zbl 0423.68007


68W30 Symbolic computation and algebraic computation


Zbl 0383.68062
Full Text: DOI


[1] Backus, J., Can programming be liberated from the von Neumann style? A functional style and its algebra of programs, 1977 Turing lecture, Comm. A.C.M., 21, 613-641 (1978) · Zbl 0383.68013
[2] Ehrig, H.; Kreowski, H.-J.; Maggiolo-Schettini, A.; Rosen, B. K.; Winkowski, J., Deriving structures from structures, I.B.M. Research Report RC 7046 No. 30203 (1978) · Zbl 0379.68055
[3] Ehrig, H.; Rosen, B. K., Commutativity of independent transformations on complex objects, I.B.M. Research Report RC6251 No. 26882 (1976) · Zbl 0357.02034
[4] Friedman, D. P.; Wise, D. S., Aspects of applicative programming for parallel processing, I.E.E.E. Trans. Computers, 27, 289-296 (1978) · Zbl 0381.68032
[5] Hindley, J. R.; Lercher, B.; Seldin, J. P., Introduction to Combinatory Logic (1972), Cambridge University Press: Cambridge University Press London · Zbl 0269.02005
[6] McCarthy, J., Basis for a mathematical theory of computation, (Braffort, P.; Hirschberg, D., Computer Programming and Formal Systems (1963), North-Holland: North-Holland Amsterdam), 33-70
[7] Pacini, G.; Montangero, C.; Turini, F., Graph representation and computation rules for typeless recursive languages, (Loeckx, J., Automata, Languages and Programming. Automata, Languages and Programming, Lecture Notes in Computer Science, 14 (1974), Springer: Springer Berlin), 157-169 · Zbl 0297.68072
[8] Rajlich, V., Dynamics of discrete systems and pattern reproduction, J. Comput. System Sci., 11, 186-202 (1975) · Zbl 0324.68043
[9] Staples, J., A class of replacement systems with simple optimality theory, Bull. Austral. Math. Soc., 17, 335-350 (1977) · Zbl 0383.68062
[10] Staples, J., A graph-like lambda calculus for which leftmost-outermost evaluation is optimal, (Proc. 1978 Graph Grammars Workshop. Proc. 1978 Graph Grammars Workshop, Lecture Notes in Computer Science, 73 (1979), Springer: Springer Berlin) · Zbl 0406.03017
[11] Staples, J., Optimal evaluations of graph-like expressions, Theoret. Comput. Sci., 10 (1980), to appear · Zbl 0426.68006
[12] Staples, J., Speeding up subtree replacement systems, Theoret. Comput. Sci., 11 (1980), to appear · Zbl 0438.68032
[13] Vuillemen, J., Correct and optimal implementations of recursion in a simple programming language, Proc. 5th Annual A.C.M. Symposium on the Theory of Computing (1973), Austin, TX
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.