Modular Programming Languages -

. .

Résumé :
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.

Sommaire:
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.