Definition of programming language semantics using grammars for hierarchical graphs

  • Terrence W. Pratt
List Of Contributions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 73)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

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

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Terrence W. Pratt
    • 1
  1. 1.Dept. of Applied Math and Computer ScienceUniversity of VirginiaCharlottesvilleUSA

Personalised recommendations