Searching for authors named Markus Mohnen – sorted by Relevance.
-
Functional specification of imperative programs: An alternative point of view of functional languages
- Languages Markus Mohnen Lehrstuhl f#r Informatik II, Aachen University of Technology Ahornstra#e 55, 52056
- Add To MetaCart
-
Context Patterns in Haskell
- Context Patterns in Haskell Markus Mohnen Lehrstuhl f#r Informatik II, RWTH Aachen, Germany
- Cited by 9 (2 self) – Add To MetaCart
-
Using Quasi Ordered Sets to Model Program Properties Denotationally
- Using Quasi Ordered Sets to Model Program Properties Denotationally Markus Mohnen Lehrstuhl f
- Cited by 1 (1 self) – Add To MetaCart
-
Interfaces with Skeletal Implementations in Java
- Interfaces with Skeletal Implementations in Java Markus Mohnen Lehrstuhl f ur Informatik II, RWTH
- Cited by 5 (4 self) – Add To MetaCart
-
Context Patterns, Part II
- Context Patterns, Part II Markus Mohnen Lehrstuhl f#r Informatik II, RWTH Aachen, Germany mohnen
- Cited by 2 (0 self) – Add To MetaCart
-
An open framework for data-flow analysis in Java
- in Java Markus Mohnen ISSN 0935–3232 · Aachener Informatik Berichte · AIB-2002-08 RWTH Aachen · Department
- Cited by 1 (0 self) – Add To MetaCart
-
Efficient Closure Utilisation by Higher-Order Inheritance Analysis
- Efficient Closure Utilisation by Higher-Order Inheritance Analysis Markus Mohnen Lehrstuhl fur
- Cited by 7 (4 self) – Add To MetaCart
-
Efficient Compile-Time Garbage Collection for Arbitrary Data Structures
- Efficient Compile-Time Garbage Collection for Arbitrary Data Structures Markus Mohnen Lehrstuhl
- Cited by 14 (5 self) – Add To MetaCart
-
Interfaces with Default Implementations in Java
- in Java Markus Mohnen ISSN 0935–3232 · Aachener Informatik Berichte · AIB-2002-09 RWTH Aachen · Department
- Cited by 7 (1 self) – Add To MetaCart
-
A New Class of Function for Abstract Interpretation
- A New Class of Functions for Abstract Interpretation Jörg Köller and Markus Mohnen Lehrstuhl für
- Cited by 3 (1 self) – Add To MetaCart

