Modular Programming Languages: Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003. Proceedings

Niklaus Wirth (auth.), László Böszörményi, Peter Schojer (eds.)9783540407966, 3540407960

This book constitutes the refereed proceedings of the international Joint Modular Languages Conference, JMLC 2003, held in Klagenfurt, Austria in August 2003.

The 17 revised full papers and 10 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from 47 submissions. The papers are organized in topical sections on architectural concepts and education, component architectures, language concepts, frameworks and design principles, compilers and tools, and formal aspects and reflective programming.

---

Table of contents :
Front Matter….Pages –
The Essence of Programming Languages….Pages 1-11
Safe Code – It’s Not Just for Applets Anymore….Pages 12-22
Computing with Distributed Resources….Pages 23-24
The Verifying Compiler: A Grand Challenge for Computing Research….Pages 25-35
Evolving a Multi-language Object-Oriented Framework: Lessons from .NET….Pages 36-36
The KITE Application Server Architecture….Pages 37-48
Compiler Support for Reference Tracking in a Type-Safe DSM….Pages 49-58
Caste: A Step Beyond Object Orientation….Pages 59-62
Distributed XML Objects….Pages 63-68
Programming Education: A Russian Perspective….Pages 69-77
Towards an Adaptive Distributed Multimedia Streaming Server Architecture Based on Service-Oriented Components….Pages 78-87
A Layered Type System for Re-entrance Control….Pages 88-97
A Practical Approach to Software Portability Based on Strong Typing and Architectural Stratification….Pages 98-101
Object Life-Cycle Management in a Highly Flexible Middleware System….Pages 102-105
Fighting Class Name Clashes in Java Component Systems….Pages 106-109
Real-Time Systems Development Using Hierarchical State Machines….Pages 110-121
Classboxes: A Minimal Module Model Supporting Local Rebinding….Pages 122-131
Zonnon for .NET – A Language and Compiler Experiment….Pages 132-143
Safely Extending Procedure Types to Allow Nested Procedures as Values….Pages 144-149
Leveraging Managed Frameworks from Modular Languages….Pages 150-162
Systems – Components + Languages: Building a Flexible Real-Time Simulation and Test Environment….Pages 163-173
Event Library: An Object-Oriented Library for Event-Driven Design….Pages 174-183
Controlling Access to Distributed Object Frameworks….Pages 184-187
Architectural Aspects of a Thread-Safe Graphical Component System Based on Aos….Pages 188-191
LL(1) Conflict Resolution in a Recursive Descent Compiler Generator….Pages 192-201
Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers….Pages 202-213
A Source-To-Source Architecture for User-Defined Optimizations….Pages 214-223
An Oberon Linker for an Imperfect World – More Notes on Building Your Own Tools….Pages 224-228
Language Definition in the Schütz Semantic Editor….Pages 229-240
Demand-Driven Specification Partitioning….Pages 241-253
Source-to-Source Transformation in the Large….Pages 254-265
Metaprogramming Library for the C# Programming Language….Pages 266-269
Back Matter….Pages –