An order-algebraic definition of knuthian semantics-Reference-Cited by-同舟云学术

An order-algebraic definition of knuthian semantics

Published:1979-12 Issue:1 Volume:13 Page:1-27
ISSN:0025-5661
Container-title:Mathematical Systems Theory
language:en
Short-container-title:Math. Systems Theory

Author:

Chirica Laurian M.,Martin David F.

Publisher

Springer Science and Business Media LLC

Subject

Computational Theory and Mathematics,General Mathematics,Theoretical Computer Science,Computational Theory and Mathematics,Theoretical Computer Science

Link

http://link.springer.com/content/pdf/10.1007/BF01744285.pdf

Reference33 articles.

1. D. M. Berry, On the Design and Specification of the Programming Language OREGANO, Computer Science Department, University of California, Los Angeles, UCLA-ENG-7388, January 1974.

2. G. Birkhoff and J. D. Lipson, Heterogeneous Algebras,J. Combinatorial Theory, 8, 115–113, 1970.

3. G. V. Bochmann, Semantic Evaluation from Left to Right,Communications of the ACM, 19(2), 55–62, February 1976.

4. L. M. Chirica, Contributions to Compiler Correctness, Computer Science Department, University of California, Los Angeles, UCLA-ENG-7697, October 1976.

5. L. M. Chirica and D. F. Martin, An Algebraic Formulation of Knuthian Semantics,Proceedings of the 17th IEEE Symposium on Foundations of Computer Science, Houston, Texas, October 1976, IEEE, New York, 127–136, 1976.

Cited by 51 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Active workspaces;ACM SIGAPP Applied Computing Review;2015-10-13

2. From object algebras to attribute grammars;ACM SIGPLAN Notices;2014-12-31

3. From object algebras to attribute grammars;Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications;2014-10-15

4. Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers;Electronic Notes in Theoretical Computer Science;2011-03

5. Categorical Descriptional Composition;Programming Languages and Systems;2010