Travelled to:
1 × France
1 × Germany
1 × Italy
1 × The Netherlands
2 × United Kingdom
Collaborated with:
∅ J.Köller
Talks about:
effici (3) interpret (2) abstract (2) pattern (2) context (2) analysi (2) data (2) homomorph (1) arbitrari (1) structur (1)
Person: Markus Mohnen
DBLP: Mohnen:Markus
Facilitated 2 volumes:
Contributed to:
Wrote 7 papers:
- CC-2002-Mohnen #analysis #approach #data flow
- A Graph-Free Approach to Data-Flow Analysis (MM), pp. 46–61.
- PPDP-2000-KollerM #abstract interpretation #component #morphism #performance #using
- Efficient abstract interpretation using component-wise homomorphisms (JK, MM), pp. 226–234.
- SAS-1999-KollerM #abstract interpretation
- A New Class of Functions for Abstract Interpretation (JK, MM), pp. 248–263.
- IFL-1997-Mohnen
- Context Patterns, Part II (MM), pp. 338–357.
- IFL-1996-Mohnen #haskell
- Context Patterns in Haskell (MM), pp. 41–57.
- PLILP-1995-Mohnen #data type #garbage collection #performance
- Efficient Compile-Time Garbage Collection for Arbitrary Data Structures (MM), pp. 241–258.
- SAS-1995-Mohnen #analysis #higher-order #inheritance #performance
- Efficient Closure Utilisation by Higher-Order Inheritance Analysis (MM), pp. 261–278.