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.
Preview
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.
[Dausmann 1985] Dausmann, M. (1985): Informationen und Verfahren für die getrennte Übersetzung von Programmteilen. PhD thesis, Universität Karlsruhe.
[Frick et al. 1996] Frick, A., Zimmer, W. and Zimmermann, W. (1996): Konstruktion robuster und flexibler Klassenbibliotheken. Informatik, Forschung und Entwicklung, 11: 168–178.
[Gamma 1992] Gamma, E. (1992): Objektorientierte Software-Entwicklung am Beispiel von ET++: Klassenbibliothek, Werkzeuge, Design. Heidelberg: Springer-Verlag.
[Gamma et al. 1994] Gamma, E., Helm, R., Johnson, R.and Vlissides, J. (1994): Design Patterns: Elements of Reusable Software Components. Addison-Wesley.
[Goos 1995] Goos, G. (1995): Sather-K — The Language. Interner Bericht 8/95, Fakultät für Informatik, Universität Karlsruhe.
[Goos et al. 1988] Goos et al. (1988): UniBase Abschlußbericht. Technical Report, Verbundprojekt UniBase.
[Habermann and Notkin 1986] Habermann, A. N. and Notkin, D. (1986): Gandalf: Software Development Environments. IEEE Trans. Software Engineering, 12(12): 1117–1127.
[Hoare 1969] Hoare, C. (1969): An axiomatic basis for computer programming. Communications of the ACM, 12: 576–583.
[Liskov 1981] Liskov, B. (1981): CLU Reference Manual, volume 114 of LNCS. Springer Verlag.
[Manna and Pnueli 1992] Manna, Z. and Pnueli, A. (1992): The Temporal Logic of Reactive and Concurrent Systems Specification. Springer Verlag.
[Messerschmidt 1996] Messerschmidt, H. J. (1996): List Iterators in C++. Software — Practice and Experience, 26(11): 1197–1203
[Meyer 1992] Meyer, B. (1992): Eiffel: the Language. Prentice Hall.
[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.
[Nagl 1996] Nagl, M., editor (1996): Building Tightly Integrated Software Development Environments: The IPSEN Approach, volume 1170 of LNCS. Springer Verlag.
[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.
[Omohundro 1991] Omohundro, S. M. (1991): The Sather Language. Report, 3. Juni 1991, International Computer Science Institute, Berkeley.
[Pauls 1874] Pauls (1874): Das Maximalproblem der Damen auf dem Schachbrett, Deutsche Schachzeitung, 29: 129–134;257-267.
[Sparks et al. 1996] Sparks, S., Brenner, K.and Faris, C. (1996): Managing Object-Oriented Framework Reuse. IEEE Computer, 29(9): 52–61.
[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.
[Weinand 1992] Weinand, A. (1992): Objektorientierter Entwurf und Implementierung portabler Fensterumgebungen am Beispiel des Application-Framework ET++. Heidelberg: Springer-Verlag.
[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.
Author information
Authors and Affiliations
Editor information
Rights 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