ResearchIndex: Constraints provide a useful mechanism to maintain relations in user interface toolkits. Garnet is a widely used user interface toolkit with high functionality, based on one way, required constraints. Multi-Garnet extends this by adding...

The Constraint Imperative Programming CIP family of languages integrates constraints and imperative, object oriented programming. Besides merging useful features of both paradigms, such integration has synergistic effects.

Presents a unified approach for expressing high performance numerical linear algebra routines for a class of dense and sparse matrix formats and shapes.

from which an analyzer for ALGOL 60 can be generated.

Article by S. Tucker Taft (submitted to Ada Europe '96).

The Addition of Persistence and its Consequences.

Ada standard Iso Iec.

The purpose of this paper is to present several additions to Ada which improve real time properties of the language.

Research into persistent programming languages and systems.

Article by Juha Haataja with source code examples in C and Fortran.