Correctness of translations of programming languages--an algebraic approach

Authors:
Francis Lockwood Morris
Affiliations:
-
Venue:
Correctness of translations of programming languages--an algebraic approach
Year:
1972

Citing 0
Cited 3

Using functor categories to generate intermediate code

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Initial Algebra Semantics and Continuous Algebras

Journal of the ACM (JACM)
J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations

DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract