Semantics-directed machine architecture

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1982, Pages 234-241

  Wand, Mitchell ^a  

^a INDIANA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

COMBINATORS; DENOTATIONAL SEMANTICS; INPUT-OUTPUT; MACHINE ARCHITECTURES; MACHINE INSTRUCTIONS; REDUCTION SEQUENCE; SIMPLE EXPRESSION; TARGET MACHINES;

PROGRAM COMPILERS;

EID: 85050125495     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/582153.582179     Document Type: Conference Paper

References (19)

1. Ada and the 'Middle End' of the PQCC Ada Compiler" Proc. ACM-SIGPLAN Symposium on the ADA Programming Languages, SIGPLAN Notices 15. 11 (November, 1980), 101-112.
2. Clarke, T., P. Gladstone, C. Maclean, and A. Norman. "SKIM-The S, K, I Reduction Machine" Proc. 1980 LISP Conf., 128-135.
3. Curry, H. B., and Feys, R. Combinatorv Logic, Vol. 1. North-Holland, Amsterdam, 1958.
4. Federhen, S. "A Mathematical Semantics for PLANNER" M.S. Thesis, University of Maryland, 1980.
5. Gordon, M.J.C. The Denotational Description of Programming Languages, Springer, Berlin, 1979.
6. Jones, N. D. (ed.) Semantics-Directed Compiler Generation, Lecture Notes in Comp. Sci., Vol. 94, Springer, Berlin, 1980.
7. Jones, N. D., and Schmidt, S. "Compiler Generation from Denotational Semantics" in Semantics-Directed Compiler Generation (N.D. Jones, ed), pp. 70-93. Springer Lecture Notes in Computer Science, Vol. 91 (Berlin, 1980).
8. Morris, F. L. "Advice on Structuring Compilers and Proving Them Correct" Proc. ACM Svmp. on Principles of Programming Languages (Boston, 1973), 144-152.
9. Mosses, P. D. "Mathematical Semantics and Compiler Generation", D. Phil thesis, Oxford Univ., 1975.
10. Mosses, P. D. "A Constructive Approach to Compiler Correctness", Automata, Languages, and Programming, Seventh Colloquium (1980).
11. O'Donnell, Michael. Computing in Systems Described by Equations. Springer Lecture Notes in Computer Science, Vol. 58, Springer, Berlin, 1977.
12. Raoult, J. C, and Sethi, R. "On metalanguages for a compiler generator: properties of a notation for combining functions", manuscript, Bell Laboratories, Murray Hill, N.J. (July, 1981).
13. Raskovsky, M., and Collier, P. "From Standard to Implementation Denotational Semantics", in Semantics-Directed Compiler Generation (N. D. Jones, ed.) Springer, Berlin, 1980.
14. Sethi, R. "Circular Expressions: elimination of static environments" Automata, Languages, and Programming, 8th Colloquium. Acre. Lecture Notes in Computer Science, Vol. 115, Springer, Berlin, 1981.
15. Stoy, Joseph E. Denotational Semantics: The Scott-Strachev Approach to Programming Language. Theory MIT Press, Cambridge, MA, 1977.
16. Thatcher, J. W., Wagner, E. G., and Wright, J. B. "More on Advice on Structuring Compilers and Proving Them Correct" Theoret. Comp. Sci. 15 (1981), 223-249.
17. Turner, D. A. "A New Implementation Technique for Applicative Languages" Software: Practice amd Experiance 9 (1979), 31-49.
18. Wand, M. "Deriving Target Code as a Representation of Continuation Semantics," to appear ACM Trans. on Prog. Lang and Sys.
19. Wand, M. "Different Advice on Structuring Compilers and Proving Them Correct" Indiana University Computer Science Department, Technical Report No. 95 (September, 1980).