JMLC 2003: Klagenfurt, Austria

László Böszörményi, Peter Schojer (Eds.): Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings. Lecture Notes in Computer Science 2789 Springer 2003, ISBN 3-540-40796-0

Invited Talks

Niklaus Wirth:
The Essence of Programming Languages. 1-11
Michael Franz:
Safe Code - It's Not Just for Applets Anymore. 12-22
Young-ri Choi, Siddhartha Rai, Vinay Sampath Kumar, Jayadev Misra, Harrick M. Vin:
Computing with Distributed Resources. 23-24
C. A. R. Hoare:
The Verifying Compiler: A Grand Challange for Computing Research. 25-35
Jim Miller:
Evolving a Multi-language Object-Oriented Framework: Lessons from .NET. 36

Josef Templ:
The KITE Application Server Architecture. 37-48
Ralph Göckelmann, Stefan Frenz, Michael Schöttner, Peter Schulthess:
Compiler Support for Reference Tracking in a Type-Safe DSM. 49-58
Hong Zhu, David E. Lightfoot:
Caste: A Step beyond Object Orientation. 59-62
Paul Roe:
Distributed XML Objects. 63-68
Fyodor V. Tkachov:
Programming Education: A Russian Perspective. 69-77

Roland Tusch:
Towards an Adaptive Distributed Multimedia Streaming Server Architecture Based on Service-Oriented Components. 78-87
Simon Kent:
A Layered Type System for Re-entrance Control. 88-97
Andrey Koltashev:
A Practical Approach to Software Portability Based on Strong Typing and Architectural Stratification. 98-101
Karl Blümlinger, Christof Dallermassl, Heimo Haub, Philipp Zambelli:
Object Life-Cycle Management in a Highly Flexible Middleware System. 102-105
Petr Hnetynka, Petr Tuma:
Fighting Class Name Clashes in Java Component Systems. 106-109

Angelo Furfaro, Libero Nigro, Francesco Pupo:
Real-Time Systems Development Using Hierarchical State Machines. 110-121
Alexandre Bergel, Stéphane Ducasse, Roel Wuyts:
Classboxes: A Minimal Module Model Supporting Local Rebinding. 122-131
Jürg Gutknecht, Eugene Zueff:
Zonnon for.NET - A Language and Compiler Experiment. 132-143
Christian Heinlein:
Safely Extending Procedure Types to Allow Nested Procedures as Values. 144-149

K. John Gough, Diane Corney:
Leveraging Managed Frameworks from Modular Languages. 150-162
Brian Kirk, Stuart Doyle, Toby Harris, Tom Priestly:
Systems = Components + Languages: Building a Flexible Real-Time Simulation and Test Environment. 163-173
Volkan Arslan, Piotr Nienaltowski, Karine Arnout:
Event Library: An Object-Oriented Library for Event-Driven Design. 174-183
Karl Blümlinger, Christof Dallermassl, Heimo Haub, Philipp Zambelli: Controlling Access to Distributed Object Frameworks. 184-187
Thomas M. Frey:
Architectural Aspects of a Thread-Safe Graphical Component System Based on Aos. 188-191

Albrecht Wöß, Markus Löberbauer, Hanspeter Mössenböck:
LL(1) Conflict Resolution in a Recursive Descent Compiler Generator. 192-201
Ulrich Hirnschrott, Andreas Krall, Bernhard Scholz:
Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers. 202-213
Markus Schordan, Daniel J. Quinlan:
A Source-to-Source Architecture for User-Defined Optimizations. 214-223
Paul Reed:
An Oberon Linker for an Imperfect World - More Notes on Building Your Own Tools. 224-228

Rodney M. Bates:
Language Definition in the Schütz Semantic Editor. 229-240
Roland Mittermeir, Andreas Bollin:
Demand-Driven Specification Partitioning. 241-253
Thomas Genssler, Volker Kuttruff:
Source-to-Source Transformation in the Large. 254-265
Gergely Kis, József Orosz, Márton Pintér, Zoltán László, Thomas Genssler:
Metaprogramming Library for the C# Programming Language. 266-269