Experiences with an object-oriented, multi-stage language

Metaphor: A Multi-stage, Object-Oriented Programming Language

This paper presents a language (called Metaphor) for expressing staged programs in a strongly-typed, imperative, object-oriented environment. The language is based on a subset of C or Java; it is multi-stage and provides static type checking of later stage code. Objectoriented frameworks usually offer a type introspection or reflection capability to discover information about types at run-time....

Integrating Constraints with an Object-Oriented Language

Constraints are declarative statements of relations among elements of the language’s computational domain, e.g., integers, booleans, strings, and other objects. Orthogonally, the tools of object-oriented programming, including encapsulation, inheritance, and dynamic message binding, provide important mechanisms for extending a language’s domain. Although the integration of constraints and objec...

Experiences with Object Oriented Model-Driven Development

Model-driven development finds its origin in a reframed version of Zachman’s Information Systems Architecture. This framework recognises levels of abstraction, which is not the same as levels of detail, in the systems development process. If the model-driven approach is applied in addition to object oriented analysis concepts, significant benefits are to be expected on the side of maintenance c...

Pluto: An Object-Oriented Logic Programming Language

An Object-Oriented Language for Constructing Simulations

S i m u l a t i o n rep resen ts a power fu l t o o l f o r reason ing about p o s s i b l e w o r l d s , and, more g e n e r a l l y , can be regarded as an impor tan t des ign a i d . The des ign of p h y s i c a l systems is o f t e n accompl ished by a c y c l e o f a c t i v i t i e s , i n c l u d i n g phases t h a t c o n s t r u c t models, t e s t the mode l ' s b e h a v i o r a l c...