Graph grammars and operational semantics
- 31 August 1982
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 19 (2) , 117-141
- https://doi.org/10.1016/0304-3975(82)90056-1
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Algebraic specification of data types: A synthetic approachTheory of Computing Systems, 1981
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- The Mathematics of Record HandlingSIAM Journal on Computing, 1980
- Parallelism and concurrency of graph manipulationsTheoretical Computer Science, 1980
- Infinite trees in normal form and recursive equations having a unique solutionTheory of Computing Systems, 1979
- Abstract data types and software validationCommunications of the ACM, 1978
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Varieties of ordered algebrasJournal of Computer and System Sciences, 1976
- Recursive definitions of partial functions and their computationsACM SIGPLAN Notices, 1972