On the structure of application programs

  • Peter Lucas
Program Specifications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 86)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /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. /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. /3/.
    Carnap R., Introduction to Symbolic Logic and its Applications, Dover Publications, New York, 1958.Google Scholar
  4. /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. /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. /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. /7/.
    Kent W., Data and Reality: Basic Assumptions in Data Processing Reconsidered, North Holland, 1978.Google Scholar
  8. /8/.
    Lucas P., Izbicki H., Kalod G., ASVG-DEMO an Experiment in Application Programming, Techn. Report, IBM Laboratory Vienna, 1979.Google Scholar
  9. /9/.
    Lucas P., On the Evaluation of Computational Rules, to be published.Google Scholar
  10. /10/.
    McCracken D. D., The Changing Face of Application Programming, Datamation, Nov. 1978, pp. 25–30.Google Scholar
  11. /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. /12/.
    Sharman G.C.H., Winterbottom N., The Data Dictionary Facility of NDB, Proceedings VLDB4 Conference, Berlin 1978.Google Scholar
  13. /13/.
    Winterbottom N., Sharman G.C.H., NDB: Non-Programmer Data Base Facility, Techn. Report TR 12.179, IBM UK Laboratories Hursley.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Peter Lucas
    • 1
  1. 1.IBM San José Research LaboratoryUSA

Personalised recommendations