Skip to main content
SpringerLink
Log in

From programming languages to program construction

  • Invited Talks
  • Conference paper
  • First Online:
Book cover Modular Programming Languages (JMLC 1997)

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

Included in the following conference series:

  • 128 Accesses

Abstract

We argue that the notion of programming language semantics has perhaps played a larger role than needed. We illustrate the argument with examples taken from the object-oriented language Sather-K. Also, the role of program verification is critically reviewed. The discussion shows that the focus should gradually move from inventing ever better programming languages to topics such as configuration management which transcend the scope of a programming language.

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.

References

  • [Clemm and Osterweil 1990] Clemm, G. and Osterweil, L. J. (1990): A Mechanism for Environment Integration. ACM Trans. Prog. Lang. and Systems, 12(1): 1–25.

    Google Scholar 

  • [Dausmann 1985] Dausmann, M. (1985): Informationen und Verfahren für die getrennte Übersetzung von Programmteilen. PhD thesis, Universität Karlsruhe.

    Google Scholar 

  • [Frick et al. 1996] Frick, A., Zimmer, W. and Zimmermann, W. (1996): Konstruktion robuster und flexibler Klassenbibliotheken. Informatik, Forschung und Entwicklung, 11: 168–178.

    Google Scholar 

  • [Gamma 1992] Gamma, E. (1992): Objektorientierte Software-Entwicklung am Beispiel von ET++: Klassenbibliothek, Werkzeuge, Design. Heidelberg: Springer-Verlag.

    Google Scholar 

  • [Gamma et al. 1994] Gamma, E., Helm, R., Johnson, R.and Vlissides, J. (1994): Design Patterns: Elements of Reusable Software Components. Addison-Wesley.

    Google Scholar 

  • [Goos 1995] Goos, G. (1995): Sather-K — The Language. Interner Bericht 8/95, Fakultät für Informatik, Universität Karlsruhe.

    Google Scholar 

  • [Goos et al. 1988] Goos et al. (1988): UniBase Abschlußbericht. Technical Report, Verbundprojekt UniBase.

    Google Scholar 

  • [Habermann and Notkin 1986] Habermann, A. N. and Notkin, D. (1986): Gandalf: Software Development Environments. IEEE Trans. Software Engineering, 12(12): 1117–1127.

    Google Scholar 

  • [Hoare 1969] Hoare, C. (1969): An axiomatic basis for computer programming. Communications of the ACM, 12: 576–583.

    Article  Google Scholar 

  • [Liskov 1981] Liskov, B. (1981): CLU Reference Manual, volume 114 of LNCS. Springer Verlag.

    Google Scholar 

  • [Manna and Pnueli 1992] Manna, Z. and Pnueli, A. (1992): The Temporal Logic of Reactive and Concurrent Systems Specification. Springer Verlag.

    Google Scholar 

  • [Messerschmidt 1996] Messerschmidt, H. J. (1996): List Iterators in C++. Software — Practice and Experience, 26(11): 1197–1203

    Google Scholar 

  • [Meyer 1992] Meyer, B. (1992): Eiffel: the Language. Prentice Hall.

    Google Scholar 

  • [Murer et al. 1993] Murer, S., Omohundro, S. M. and Szyperski, C. (1993): Sather Iters: Object-Oriented Iteration Abstraction. Technical Report TR-93-045, ICSI.

    Google Scholar 

  • [Nagl 1996] Nagl, M., editor (1996): Building Tightly Integrated Software Development Environments: The IPSEN Approach, volume 1170 of LNCS. Springer Verlag.

    Google Scholar 

  • [Näher and Mehlhorn 1990] Näher, S. and Mehlhorn, K. (1990): LEDA — A Library of Efficient Data Types and Algorithms. In Paterson, M., editor, Proceedings of the 17th International Colloquium on Automata, Languages and Programming, volume 443 of LNCS, pages 1–5. Springer Verlag.

    Google Scholar 

  • [Omohundro 1991] Omohundro, S. M. (1991): The Sather Language. Report, 3. Juni 1991, International Computer Science Institute, Berkeley.

    Google Scholar 

  • [Pauls 1874] Pauls (1874): Das Maximalproblem der Damen auf dem Schachbrett, Deutsche Schachzeitung, 29: 129–134;257-267.

    Google Scholar 

  • [Sparks et al. 1996] Sparks, S., Brenner, K.and Faris, C. (1996): Managing Object-Oriented Framework Reuse. IEEE Computer, 29(9): 52–61.

    Google Scholar 

  • [Stoutamire and Omohundro 1996] Stoutamire, D. and Omohundro, S. (1996): The Sather 1.1 Specification. Technical Report TR-96-012, International Computer Science Institute, Berkeley.

    Google Scholar 

  • [Weinand 1992] Weinand, A. (1992): Objektorientierter Entwurf und Implementierung portabler Fensterumgebungen am Beispiel des Application-Framework ET++. Heidelberg: Springer-Verlag.

    Google Scholar 

  • [Welzl 1991] Welzl, E. (1991): Smallest Enclosing Disks (Balls and Ellipsoids). In Maurer, H., editor, New Results and New Trends in Computer Science, volume 555, pages 359–370. Springer Verlag.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universität Karlsruhe, Deutschland

    Gerhard Goos

  2. Forschungszentrum Informatik Karlsruhe, Deutschland

    Gerhard Goos

Authors
  1. Gerhard Goos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hanspeter Mössenböck

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Goos, G. (1997). From programming languages to program construction. In: Mössenböck, H. (eds) Modular Programming Languages. JMLC 1997. Lecture Notes in Computer Science, vol 1204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62599-2_27

Download citation

  • DOI: https://doi.org/10.1007/3-540-62599-2_27

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation