Modular Programming Languages

This book constitutes the refereed proceedings of the Joint Modular Languages Conference, JMLC'97, held in Linz, Austria, in March 1997.
The 24 revised full papers presented were carefully selected from a total of 55 submissions; also included are full papers of two invited presentations. The book is devoted to languages, techniques, and tools for the development of modular, extensible, and type-safe software systems. Among the programming languages covered are Modula, Oberon, Ada95, Eiffel, Salher, Java, and others. The issues addressed include compiler technology, persistence, data structures, typing, distribution, active objects, real-time programming, inheritance, reflection, languages, etc.

Autorentext
Hanspeter Mössenböck ist Professor für Informatik an der Universität Linz. Seine Interessen liegen auf dem Gebiet der Programmiersprachen und der Systemsoftware, insbesondere des Übersetzerbaus. Von 1988 bis 1994 war er Assistenzprofessor an der ETH Zürich und Mitarbeiter von Prof. Niklaus Wirth im Oberon-Projekt. Seit 2000 kooperieren er und sein Institut mit dem Java-Team bei Sun Microsystems bzw. Oracle in Kalifornien. Dabei wurden neue Optimierungen im Java-Compiler und in der Java-VM entwickelt, die heute Teil der Java-Distribution sind. Ferner hatte er Gastprofessuren in Oxford und Budapest inne, wo ihm 2006 ein Ehrendoktorat verliehen wurde.

Inhalt
From programming languages to program construction.- Multi-language, multi-target compiler development: Evolution of the Gardens Point compiler project.- Executable assertions and separate compilation.- Dynamic runtime optimization.- Type inference for late binding: The SmallEiffel Compiler.- An object-oriented database programming environment for Oberon.- Adding persistence to the Oberon-System.- An abstract data type for freezable lists and DAGs.- Types that reflect changes of object usability.- Lightweight parametric polymorphism for Oberon.- Static type checking and method lookup in Plop!.- CDCS: A new development approach for distributed applications in Java.- A messaging architecture for distributed objects in Oberon.- Just-in-time stub generation.- Do the fish really need remote control? A proposal for self-active objects in Oberon.- Combining Oberon with active objects.- Using real time constraints for modularisation.- How well do inheritance mechanisms support inheritance concepts?.- Inheriting synchronization protocols via sound enrichment rules.- Reflection in Oberon.- Developing a full life cycle language.- Scalable modules in Generic Modula-2.- On extending Java.- Choosing Modula-3 as mother-tongue.- Generative programming (GP) with C++.- Seamless integration of online services in the Oberon document system.