Definition of programming language semantics using grammars for hierarchical graphs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 73 LNCS, Issue , 1979, Pages 389-400

  Pratt, Terrence W ^a  

^a UNIVERSITY OF VIRGINIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84974593236     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0025735     Document Type: Conference Paper

References (9)

1. Pratt, T. “Pair grammars, graph languages, and string-to-graph translations”, J. Comp.Sys.Sci., 5, 6, 1971,560–595.
2. Hoare, C.A.R. and N. Wirth, “An axiomatic definition of PASCAL”, Acta Infor., 2, 1973, 335–355.
3. Tennent, R., “The denotational semantics of programming languages”, Comm. ACM, 19,8, 1976, 437–453.
4. Lucas, P. and K. Walk, “On the formal description of PL/I”, Annual Rev.Auto. Prog., 6,3, 1969,105–182.
5. Marcotty, M, H. Ledgard and G. Bochmann, “A sampler of formal definitions”, Comp. Surveys, 82, 1976, 191–276.
6. Pratt, T. “A theory of programming languages, Part I”, Univ. Of Texas Comp. Center Report UTEX-CCSN-41, July 1975, 200pp.
7. Pratt, T., “Application of formal grammars and automata to programming language definition” in Applied Computation Theory, R.T. Yeh (ed.), Prentice-Hall, 1976.
8. Pratt, T., “Semantic definition of programming languages: Prospects for the 1980’s”, Proc. 17th ACM/NBS Annual Tech. Symp., June 1978, Washington, D.C., 71–77.
9. Pratt, T. and G. Maydwell, “A semantic definition of HAL/S” (in preparation).