Skip to main content
SpringerLink
Log in

Definition of programming language semantics using grammars for hierarchical graphs

  • List Of Contributions
  • Conference paper
  • First Online:
Graph-Grammars and Their Application to Computer Science and Biology (Graph Grammars 1978)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 73))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. Pratt, T. "Pair grammars, graph languages, and string-to-graph translations", J. Comp.Sys.Sci., 5,6,1971,560–595.

    Google Scholar 

  2. Hoare, C.A.R. and N. Wirth, "An axiomatic definition of PASCAL", Acta Infor., 2, 1973, 335–355.

    Google Scholar 

  3. Tennent, R., "The denotational semantics of programming languages", Comm. ACM, 19,8, 1976, 437–453.

    Google Scholar 

  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. Marcotty, M, H. Ledgard and G. Bochmann, "A sampler of formal definitions", Comp. Surveys, 82, 1976, 191–276.

    Google Scholar 

  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. —, "Application of formal grammars and automata to programming language definition" in Applied Computation Theory, R.T. Yeh (ed.), Prentice-Hall, 1976.

    Google Scholar 

  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. — and G. Maydwell, "A semantic definition of HAL/S" (in preparation).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Applied Math and Computer Science, University of Virginia, 22901, Charlottesville, VA, USA

    Terrence W. Pratt

Authors
  1. Terrence W. Pratt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Volker Claus Hartmut Ehrig Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1979 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pratt, T.W. (1979). Definition of programming language semantics using grammars for hierarchical graphs. In: Claus, V., Ehrig, H., Rozenberg, G. (eds) Graph-Grammars and Their Application to Computer Science and Biology. Graph Grammars 1978. Lecture Notes in Computer Science, vol 73. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0025735

Download citation

  • DOI: https://doi.org/10.1007/BFb0025735

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-09525-5

  • Online ISBN: 978-3-540-35091-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation