JMLC 2003:
Klagenfurt, Austria
Michael Franz:
Safe Code - It's Not Just for Applets Anymore. 12-22
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
Architectural Concepts and Education
Josef Templ:
The KITE Application Server Architecture. 37-48
Paul Roe:
Distributed XML Objects. 63-68
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
Christian Heinlein:
Safely Extending Procedure Types to Allow Nested Procedures as Values. 144-149
Frameworks and Design Principles
Thomas M. Frey:
Architectural Aspects of a Thread-Safe Graphical Component System Based on Aos. 188-191
Paul Reed:
An Oberon Linker for an Imperfect World - More Notes on Building Your Own Tools. 224-228
Formal Aspects and Reflective Programming
Rodney M. Bates:
Language Definition in the Schütz Semantic Editor. 229-240