Search the dblp DataBase

Publications of Author

1. Markus Mohnen
   A Graph-Free Approach to Data-Flow Analysis. [Citation Graph (0, 0)][DBLP]
   CC, 2002, pp:46-61 [Conf]
   
2. Markus Mohnen
   Using Quasi Ordered Sets to Model Program Properties Denotationally. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung, 1997, pp:532-541 [Conf]
   
3. Markus Mohnen
   Fixed Points in Metrified Quasi Ordered Sets: Modelling Escaping in Functional Programs. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung, 1999, pp:360-369 [Conf]
   
4. Markus Mohnen
   Context Patterns in Haskell. [Citation Graph (0, 0)][DBLP]
   Implementation of Functional Languages, 1996, pp:41-57 [Conf]
   
5. Markus Mohnen
   Context Patterns, Part II. [Citation Graph (0, 0)][DBLP]
   Implementation of Functional Languages, 1997, pp:338-357 [Conf]
   
6. Markus Mohnen
   Efficient Compile-Time Garbage Collection for Arbitrary Data Structures [Citation Graph (0, 0)][DBLP]
   PLILP, 1995, pp:241-258 [Conf]
   
7. Jörg Köller, Markus Mohnen
   Efficient abstract interpretation using component-wise homomorphisms. [Citation Graph (0, 0)][DBLP]
   PPDP, 2000, pp:226-234 [Conf]
   
8. Jörg Köller, Markus Mohnen
   A New Class of Functions for Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   SAS, 1999, pp:248-263 [Conf]
   
9. Markus Mohnen
   Efficient Closure Utilisation by Higher-Order Inheritance Analysis [Citation Graph (0, 0)][DBLP]
   SAS, 1995, pp:261-278 [Conf]
   
10. Markus Mohnen
    A Compiler Correctness Proof for the Static Link Technique by Means of Evolving Algebras. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:29, n:3, pp:257-303 [Journal]
    
11. Markus Mohnen
    An open framework for data-flow analysis in Java: extended abstract. [Citation Graph (0, 0)][DBLP]
    PPPJ/IRE, 2002, pp:157-161 [Conf]
    
12. Markus Mohnen
    Interfaces with default implementations in Java. [Citation Graph (0, 0)][DBLP]
    PPPJ/IRE, 2002, pp:35-40 [Conf]