Author:
Pair C.,Amirchahy M.,Neel D.
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference15 articles.
1. Programming Languages: Formal Development of Interpreters and Compilers;Björner,1977
2. An approach to compiler correctness;Chirica;Sigplan Notices,1975
3. Compiler Constructions for Digital Computers;Gries,1971
4. Formal Definitions in Compiler Development;Jones,1970
5. K. Kennedy and S.K. Warren, Automatic generation of efficient evaluators for attribute grammars, in “3rd ACM Symposium in Principles of Programming Languages.”
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Typed representation of objects by functions;ACM Transactions on Programming Languages and Systems;1989-01
2. Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming;Information and Computation;1988-07
3. Anhang;Attributierte Grammatiken und Attributierungsalgorithmen;1988
4. Attribute grammars : Theory and applications;Formalization of Programming Concepts;1981