Skip to main content
SpringerLink
Log in

The Semantical Definition of Programming Languages in Terms of Their Data Spaces

  • Conference paper
Programmiersprachen

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 1))

Abstract

In this paper we extend the notion of data type with a control structure to define “data spaces” that are useful in describing semantical aspects of programming languages as well as properties of software systems. The latter, in fact, are included in the former, since a programming language usually serves as a vehicle for expressing something that a computer system does.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cremers, A. and T.N. Hibbard, “Formal Modeling of Virtual Machines,” submitted for publication, 1975.

    Google Scholar 

  2. Cremers, A.and T. N. Hibbard, “On the Relationship between a Procedure and Its Data,” in preparation, 1975.

    Google Scholar 

  3. Hoare, C.A.R. and P.E. Lauer, “Consistent and Complementary Formal Theories of the Semantics of Programming Languages,” Acta Informatica3, 135–153, 1974.

    MathSciNet  MATH  Google Scholar 

  4. Lauer, P.E., “Consistent Formal Theories of the Semantics of Programming Languages,” IBM Laboratory, Vienna, Technical Report, TR. 25. 121, 1971.

    Google Scholar 

  5. Minsky, M.L., Computation: Finite and Infinite Machines, Prentice-Hall, 1967.

    Google Scholar 

  6. Parnas, D. L., “A Technique for Software Module Specification with Examples,” Communications of the ACM15, 330–336, 1972.

    Article  Google Scholar 

  7. Robinson, L., K. N. Levitt, P. G. Neumann, A. R. Saxena, “On Attaining Reliable Software for a Secure Operating System,” Proceedings International Conference on Reliable Software, Los Angeles, 1975.

    Google Scholar 

  8. Scott, D., “Data Types as Lattices,” Lecture Notes, Advanced Course in Programming Languages, Amsterdam, 1972.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Southern California, Los Angeles, California, 90007, USA

    Armin Cremers & Thomas N. Hibbard

Authors
  1. Armin Cremers
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas N. Hibbard
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Mathematische Maschinen und Datenverarbeitung(II), Universität Erlangen-Nürnberg, Egerlandstr. 13, D-8520, Erlangen, Deutschland

    Hans-Jürgen Schneider  & Manfred Nagl  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1976 Springer-Verlag Berlin · Heidelberg

About this paper

Cite this paper

Cremers, A., Hibbard, T.N. (1976). The Semantical Definition of Programming Languages in Terms of Their Data Spaces. In: Schneider, HJ., Nagl, M. (eds) Programmiersprachen. Informatik-Fachberichte, vol 1. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-66319-2_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-66319-2_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07619-3

  • Online ISBN: 978-3-642-66319-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation