Markus Mohnen

Publication Activity (10 Years)

Years Active: 1995-2002
Publications (10 Years): 0

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Markus Mohnen
An open framework for data-flow analysis in Java: extended abstract. PPPJ/IRE (2002)
Markus Mohnen
A Graph-Free Approach to Data-Flow Analysis. CC (2002)
Markus Mohnen
Interfaces with default implementations in Java. PPPJ/IRE (2002)
Jörg Köller, Markus Mohnen
Efficient abstract interpretation using component-wise homomorphisms. PPDP (2000)
Jörg Köller, Markus Mohnen
A New Class of Functions for Abstract Interpretation. SAS (1999)
Markus Mohnen
Fixed Points in Metrified Quasi Ordered Sets: Modelling Escaping in Functional Programs. GI Jahrestagung (1999)
Markus Mohnen
Using Quasi Ordered Sets to Model Program Properties Denotationally. GI Jahrestagung (1997)
Markus Mohnen
A Compiler Correctness Proof for the Static Link Technique by Means of Evolving Algebras. Fundam. Informaticae 29 (3) (1997)
Markus Mohnen
Context Patterns, Part II. Implementation of Functional Languages (1997)
Markus Mohnen
Context Patterns in Haskell. Implementation of Functional Languages (1996)
Markus Mohnen
Efficient Compile-Time Garbage Collection for Arbitrary Data Structures PLILP (1995)
Markus Mohnen
Efficient Closure Utilisation by Higher-Order Inheritance Analysis SAS (1995)