M. E. Loots

Program algebra for sequential code (2002)

Bergstra, J.A., Loots, M.E.

Program algebra for sequential code (2002)

Bergstra, J.A., Loots, M.E.

The jump instruction is considered essential for an adequate theoretical understanding of imperative sequential programming. Using basic instructions and tests as a basis we outline an algebra of...

Program algebra and copogram calculus (2000)

Bergstra, J.A., Loots, M.E.

A First Course on C Program Reading (2000)

Bergstra, J.A., Bethke, I., Loots, M.E.

Program algebra for component code (2000)

Bergstra, J.A., Loots, M.E.

Program Algebra for Component Code (2000)

Bergstra, J.A., Loots, M.E.

The jump instruction is considered essential for an adequate theoretical understanding of imperative sequential programming. Using atomic actions and tests as a basis we outline an algebra of...

Program Algebra and Coprogram Calculus (2000)

Bergstra, J.A., Loots, M.E.

On the basis of the program notation PGLD of program algebra, a program notation PGLDg (PGLD with goto's) is proposed with indirect absolute jumps. An indirect absolute jump, also called a goto...

Platform projections, compilers, interpreters and portability (1999)

Bergstra, J.A., Loots, M.E.

Platform projection semantics extends projection semantics by means of the encapsulation of a processor used for program execution. Platform projection semantics abstracts from platform specific...

Software mechanics for Java multi-threading (1999)

Bergstra, J.A., Loots, M.E.

For a subset JavaTck (Java Thread Composition Kernel) of Java an empirical semantics has been developed. Special emphasis is put on the role of synchronization features. The validity of empirical...

Emperical semantics for object-oriented programs (1999)

Bergstra, J.A., Loots, M.E.

The focus is on object orientation in a sequential or single-threaded setting and with single inheritance. The second restriction points in the direction of Java1, the rst restriction calls for a...

Programs, interfaces and components (1999)

Bergstra, J.A., Loots, M.E.

The jump instruction is considered essential for an adequate theoretical understanding of imperative sequential programming. Using atomic actions and tests as a basis we outline an algebra of...

Programs, Interfaces and Components (1999)

Bergstra, J.A., Loots, M.E.

Empirical Semantics for Object-Oriented Programs (1999)

Bergstra, J.A., Loots, M.E.

Software Mechanics for Java-Multi-Threading (1999)

Bergstra, J.A., Loots, M.E.

Software mechanics for java multi-threading. Technical Report P9906 (1999)

Bergstra, J.A., Loots, M. E.

Program Algebra for Flow Charts (1999)

Bergstra, J.A., Loots, M.E.

Empirical semantics for object-oriented programs (1999)

Jan Bergstra, Marijke Loots, J. A. Bergstra, M. E. Loots

2

Software Mechanics for Java Multi-Threading (1999)

J.A. Bergstra, M.E. Loots

For a subset JavaTck (Java Thread Composition Kernel) of Java an empirical semantics has been developed. 1 Special emphasis is put on the role of synchronization features. The validity of empirical...

Program algebra for component code (1998)

Bergstra, J.A., Loots, M.E.