TOOLS
1992
IEEE
14 years 3 months ago
1992
IEEE
TOOLS
1992
IEEE
14 years 3 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
TOOLS
1992
IEEE
14 years 3 months ago
1992
IEEE
TOOLS
1992
IEEE
14 years 3 months ago
1992
IEEE
TOOLS
1992
IEEE
14 years 3 months ago
1992
IEEE
Using an object-oriented approach, the text editor Write has been designed to be extensible while its basic structure has been kept small and simple. As its main extension concept...
TOOLS
1992
IEEE
14 years 3 months ago
1992
IEEE
We show how an object-oriented system-and in particular the Oberon System-can be used to write software that is extensible by end users even while the software is running. Extensib...
TOOLS
1992
IEEE
14 years 3 months ago
1992
IEEE
The notion of location of part objects is introduced, yielding a reference to the containing object. Combined with locally defined objects and classes (block structure), singularl...
TOOLS
1992
IEEE
14 years 3 months ago
1992
IEEE
FPCA
1989
14 years 3 months ago
1989
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
FPCA
1989
14 years 3 months ago
1989
One way to analyse programs is to to derive expressions for their computational behaviour. A time bound function (or worst-case complexity) gives an upper bound for the computatio...