A system for writing executable mathematical definitions in a subset offirst order predicate logic with set theory applied in the undergraduate education of computerscience students at the Johannes Kepler University.
A C++ package that implements higher-order threads in atype-safe framework with garbage collection.
pD Compiler (1993–1994)
A compiler for a para-functional programming language that uses anew technique to generate parallelism from annotated functional programs.
PACLIB Runtime Kernel (1992–1993)
A parallel kernel for the computer algebra library SACLIBsupporting on a shared memory multiprocessor tasks as first order objects withgarbage-collection, non-determinism, and lazy task creation.
ADAM Abstract Dataflow Machine (1989–1990)
A parallel runtime simulator for a new kind ofdataflow architecture on a multi-transputer system.