Search
Now showing items 1-8 of 8
The Design of a Functional GUI Library Using Constructor Classes
Vullinghs, Ton; Schulte, Wolfram; Schwinn, Thilo; Bjørner, D.; Broy, M.; Pottosin, I. (1996)
Beitrag zu einer Konferenz
Lightweight GUIs for functional programming
Vullinghs, Ton; Tuijnman, Daniël; Schulte, Wolfram; Hermenegildo, M.; Swierstra, S. D. (1995)
Beitrag zu einer Konferenz
Eine Einführung in die transformationelle Entwicklung von SIMD Programmen
Achatz, Klaus; Schulte, Wolfram (1994)
Beitrag zu einer Konferenz
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Achatz, Klaus; Schulte, Wolfram; Möller, B. (1995)
Beitrag zu einer Konferenz
A Formal OO Method Inspired by Fusion and Object-Z
Achatz, Klaus; Schulte, Wolfram; Bowen, J. P.; Hinchey, M. G.; Till, D. (1997)
Beitrag zu einer Konferenz
Defining the Java Virtual Machine as Platform for Provably correct Java Compilation
Börger, Egon; Schulte, Wolfram; Brim, L.; Gruska, J.; Zlatuska, J. (1998)
Beitrag zu einer Konferenz
Functional Object-oriented Programming with Object-Gofer
Achatz, Klaus; Schulte, Wolfram (1997)
Beitrag zu einer Konferenz
TkGofer: A Functional GUI Library
Vullinghs, Ton; Schulte, Wolfram; Schwinn, Thilo; Wirsing, M.; Nivat, M. (1996)
Beitrag zu einer Konferenz