Einar W. Karlsen

14 papers Misc 1Unranked 12
YearRankTypeTitle / Venue / Authors
2001 Misc conf
Mapping UML to Ada.
Ada-Europe
Bill Taylor, Einar W. Karlsen
1999 — —
Tool integration in a functional programming language.
Einar W. Karlsen
1998 — conf
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z.
ZUM
Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
1998 — conf
The UniForM WorkBench - A Higher Order Tool Integration Framework.
FM-Trends
Einar W. Karlsen
1998 — conf
Tool Integration in the UniForM-Workbench.
Tool Support for System Specification, Development and Verification
Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
1997 — conf
Using Concurrent Haskell to Develop Views over an Active Repository.
Implementation of Functional Languages
Einar W. Karlsen, Stefan Westmeier
1993 — conf
PA
PROSPECTRA Book
Einar W. Karlsen
1993 — conf
PA
PROSPECTRA Book
Einar W. Karlsen, Jesper Jørgensen II
1993 — conf
Program Development: Attributes for Transformation and Proof.
PROSPECTRA Book
Einar W. Karlsen, Owen Traynor
1993 — conf
Program Development: PA
PROSPECTRA Book
Einar W. Karlsen
1993 — conf
Program Development: PA
PROSPECTRA Book
Einar W. Karlsen, Jesper Jørgensen II
1993 — conf
Uniform Transformational Development.
PROSPECTRA Book
Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
1991 — conf
The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development.
VDM Europe (2)
Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
1991 — conf
The PROSPECTRA System: A Unified Development Framework.
AMAST
Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor