Markus Mohnen

15 papers B 3C 1Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
2002 B conf
A Graph-Free Approach to Data-Flow Analysis.
CC
Markus Mohnen
2002 — conf
An open framework for data-flow analysis in Java: extended abstract.
PPPJ/IRE
Markus Mohnen
2002 — ed.
Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers
IFL
Thomas Arts, Markus Mohnen
2002 — conf
Interfaces with default implementations in Java.
PPPJ/IRE
Markus Mohnen
2001 — ed.
Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers
IFL
Markus Mohnen, Pieter W. M. Koopman
2000 C conf
Efficient abstract interpretation using component-wise homomorphisms.
PPDP
Jörg Köller, Markus Mohnen
1999 B conf
A New Class of Functions for Abstract Interpretation.
SAS
Jörg Köller, Markus Mohnen
1999 — conf
Fixed Points in Metrified Quasi Ordered Sets: Modelling Escaping in Functional Programs.
GI Jahrestagung
Markus Mohnen
1997 J jnl
A Compiler Correctness Proof for the Static Link Technique by Means of Evolving Algebras.
Fundam. Informaticae
Markus Mohnen
1997 — conf
Context Patterns, Part II.
Implementation of Functional Languages
Markus Mohnen
1997 — —
Optimising the memory management of higher order functional programs.
Markus Mohnen
1997 — conf
Using Quasi Ordered Sets to Model Program Properties Denotationally.
GI Jahrestagung
Markus Mohnen
1996 — conf
Context Patterns in Haskell.
Implementation of Functional Languages
Markus Mohnen
1995 B conf
Efficient Closure Utilisation by Higher-Order Inheritance Analysis
SAS
Markus Mohnen
1995 — conf
Efficient Compile-Time Garbage Collection for Arbitrary Data Structures
PLILP
Markus Mohnen