Publications by Markus Mohnen

• Markus Mohnen
  Interfaces with Default Implementations in Java (extended abstract)
  Conference on the Principles and Practice of Programming in Java June 2002, Dublin, Ireland
  

• Markus Mohnen
  An Open Framework for Data-Flow Analysis in Java (extended abstract)
  Workshop on Intermediate Representation Engineering for Virtual Machines June 2002, Dublin, Ireland
  

• Markus Mohnen
  Interfaces with Default Implementations in Java
  Technical Report RWTH Aachen 2002-09
  

• Markus Mohnen
  An Open Framework for Data-Flow Analysis in Java
  Technical Report RWTH Aachen 2002-08
  

• Markus Mohnen
  A Graph-Free Approach to Data-Flow Analysis
  11th International Conference on Compiler Construction April 2002, Grenoble, France
  

• Thomas Arts and Markus Mohnen(editors)
  Implementation of Functional Languages, 13th International Workshop, IFL 2001, Selected Papers
  

• Markus Mohnen and Pieter Koopman (editors)
  Implementation of Functional Languages, 12th International Workshop, IFL 2000, Selected Papers
  BibTeX-Entry

• Markus Mohnen and Pieter Koopman (editors)
  Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL'00)
  September 4th - 7th 2000, Aachen, Germany
  BibTeX-Entry

• Jörg Köller and Markus Mohnen:
  Efficient Abstract Interpretation using Component-Wise Homomorphisms
  2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000)
  September 19th - 22th 2000, Montreal, Canada
  Abstract, Paper (PostScript), BibTeX-Entry

• Markus Mohnen:
  Interfaces with Skeletal Implementations in Java
  14th European Conference on Object-Oriented Programming (ECOOP'00), Poster Session
  June 12th - 16th 2000, Cannes, France
  Poster

• Markus Mohnen:
  Interfaces with Skeletal Implementations in Java
  17. Workshop der GI-Fachgruppe 2.1.4: Programmiersprachen und Rechnerkonzepte, Schwerpunkt Softwarekomponenten
  May 8th - 10th 2000, Bad Honnef, Germany
  

• Jörg Köller and Markus Mohnen:
  A New Class of Functions for Abstract Interpretation
  Static Analysis: 6th International Symposium, SAS'99
  September 22th - 24th 1999, Venice, Italy
  Abstract, Paper (PostScript), BibTeX-Entry

• Markus Mohnen:
  Fixed Points in Metrified Quasi Ordered Sets: Modelling Escaping in Functional Programs
  GI 99: Arbeitstagung Programmiersprachen
  October 6th 1999, Paderborn, Germany
  Abstract, Paper (PostScript), BibTeX-Entry

• Markus Mohnen:
  Context Patterns, Part II
  1997 International Workshop on Implementation of Functional Languages
  September 10th - 12th 1997, St. Andrews, Scotland.
  Abstract, Paper, BibTeX-Entry

• Markus Mohnen, Stephan Tobies:
  Implementing Context Patterns in the Glasgow Haskell Compiler
  Technical Report RWTH Aachen 97-04
  Abstract, Paper, BibTeX-Entry

• Markus Mohnen:
  Optimising the Memory Management of Higher--Order Functional Programs (PhD thesis)
  Technical Report RWTH Aachen 97-13
  Abstract, Thesis (PostScript), Thesis (Portable Document Format), BibTeX-Entry

• Markus Mohnen:
  Using Quasi Ordered Sets to Model Program Properties Denotationally
  GI 97: Arbeitstagung Programmiersprachen
  Abstract, Paper, BibTeX-Entry

• Markus Mohnen:
  A Compiler Correctness Proof for the Static Link Technique by means of Evolving Algebras
  Fundamenta Informaticae, 29(3):257--303, 1997
  Abstract, Paper, BibTeX-Entry

• Markus Mohnen:
  Context Patterns in Haskell
  1996 International Workshop on Implementation of Functional Languages
  September 16th - 18th 1996, Bonn/Bad Godesberg, Germany.
  Abstract, Paper, BibTeX-Entry

• Markus Mohnen:
  Efficient Closure Utilisation by Higher-Order Inheritance Analysis
  Static Analysis: Second International Symposium, SAS'95
  September 25th - 27th 1995, Glasgow, Scotland
  Abstract, Paper, BibTeX-Entry

• Markus Mohnen:
  Efficient Compile-Time Garbage Collection for Arbitrary Data Structures
  Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95
  September 20th - 22th 1995, Utrecht, The Netherlands
  Abstract, Paper, BibTeX-Entry

• Markus Mohnen:
  FUNC: A Functional Language ... and more!
  1995 International Workshop on Implementation of Functional Languages
  September 1995, Båstad, Sweden
  Abstract, Paper, BibTeX-Entry

• Markus Mohnen:
  Functional Specification of Imperative Programs: An Alternative Point of View of Functional Languages
  Technical Report RWTH Aachen 95-09
  Abstract, Paper, BibTeX-Entry

• Markus Mohnen:
  Efficient Compile-Time Garbage Collection for Arbitrary Data Structures
  Technical Report RWTH Aachen 95-08
  Please look at my PLILP'95 paper which is a revised version of this one.
  Paper, BibTeX-Entry

• Markus Mohnen:
  Proving the Correctness of the Static Link Technique Using evolving Algebras
  Technical Report RWTH Aachen 94-21
  Please look at my Fundamenta Informaticae paper which is a revised version of this one.
  Paper, BibTeX-Entry