Newsletter Downloads
Manual and compiler for the terse and modular language DEM
This paper describes the DEM language and presents a small DEM to C++ translator written in Perl 5. DEM is a terse language for writing modular programs. DEM programs compile to C++ programs, typically swelling three times. Many modifications changing ...
Using object-orientation as a common basis for system development education
Object-orientation has a long tradition at the Computer Science Department, Aarhus University, starting with Simula in the early seventies. For more than 20 years there have been courses in object-oriented programming, including BETA, Smalltalk, Self ...
Requirements for an imperative language to host logic programming in a seamless way
Designing a widely acceptable multiparadigm language is still a challenging task. A critical problem is the choice of the linguistic tools by means of which the programmer can make the different paradigms "communicate" with each other. The framework for ...
Some comments on Morel and Renvoise's “global optimization by suppression of partial redundancies”
There has been much continuing interest in the global optimization method of Morel and Renvoise as extended by Joshi-Dhamdere and Chow. Unfortunately, the original formulation of Morel and Renvoise and those of Joshi-Dhamdere and Chow do not agree as to ...
A Note On Type Checking Linear Functional Languages
A linear functional language is based on a linear λ-calculus. Any linear functional program must observe linearity and it has to be type correct. Type correctness can be ensured by means of a type-checking system. A type checker for a linear ...