Skip to main content
SpringerLink
Log in
Book cover

Abstract Software Specifications pp 390–438Cite as

On the structure of application programs

  • Program Specifications
  • Conference paper
  • First Online:

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bjorner D., Jones C.B., Ed., The Vienna Development Method: The Meta-Language, Lecture Notes in Computer Science Nr. 61, Springer-Verlag, 1978.

    Google Scholar 

  2. Brockman R.J., On the Epistemological Status of Semantic Networks, BBN Report Nr. 3807, also in: Associative Networks — The Representation and Use of Knowledge in Computers, Nicholas V. Findler, Ed., Academic Press, New York, 1978.

    Google Scholar 

  3. Carnap R., Introduction to Symbolic Logic and its Applications, Dover Publications, New York, 1958.

    Google Scholar 

  4. Codd E.F., Extending the Database Relational Model to Capture More Meaning, presented at 1979 ACM SIGMOD Conference, Boston, to be published in ACM TODS.

    Google Scholar 

  5. Hammer M.M., McLeod D.J., The Semantic Data Model: A Modelling Mechanism for Data Base Applications, in Proceedings of the International Conference on Management of Data, SIGMOD ACM, Austin Texas, E. Lowenthal, N.B.Dale (ed.), 1978, pp. 26–36.

    Google Scholar 

  6. Hammer M.M., McLeod D.J., Semantic Integrity in a Relational Data Base System, Proceedings of the International Conference on Very Large Data Bases, D.S. Kerr (ed.), Vol 1 Num 1, ACM, Framingham Mass., 1975, pp. 25–47.

    Google Scholar 

  7. Kent W., Data and Reality: Basic Assumptions in Data Processing Reconsidered, North Holland, 1978.

    Google Scholar 

  8. Lucas P., Izbicki H., Kalod G., ASVG-DEMO an Experiment in Application Programming, Techn. Report, IBM Laboratory Vienna, 1979.

    Google Scholar 

  9. Lucas P., On the Evaluation of Computational Rules, to be published.

    Google Scholar 

  10. McCracken D. D., The Changing Face of Application Programming, Datamation, Nov. 1978, pp. 25–30.

    Google Scholar 

  11. Randall D., Buchanan B., Production Rules as a Representation for a Knowledge-Based Consultation Program, Artificial Intelligence 8, North Holland, 1977, pp. 15–45.

    Google Scholar 

  12. Sharman G.C.H., Winterbottom N., The Data Dictionary Facility of NDB, Proceedings VLDB4 Conference, Berlin 1978.

    Google Scholar 

  13. Winterbottom N., Sharman G.C.H., NDB: Non-Programmer Data Base Facility, Techn. Report TR 12.179, IBM UK Laboratories Hursley.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM San José Research Laboratory, 95193, California, USA

    Peter Lucas

Authors
  1. Peter Lucas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dines Bjøorner

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lucas, P. (1980). On the structure of application programs. In: Bjøorner, D. (eds) Abstract Software Specifications. Lecture Notes in Computer Science, vol 86. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10007-5_44

Download citation

  • DOI: https://doi.org/10.1007/3-540-10007-5_44

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10007-2

  • Online ISBN: 978-3-540-38136-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation