We stand with Ukraine  

Markus Mohnen

According to our database1, Markus Mohnen authored at least 13 papers between 1995 and 2002.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2002
An open framework for data-flow analysis in Java: extended abstract.
[BibTeX]
[DOI]
Markus Mohnen
Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, 2002

Interfaces with default implementations in Java.
[BibTeX]
[DOI]
Markus Mohnen
Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, 2002

A Graph-Free Approach to Data-Flow Analysis.
[BibTeX]
[DOI]
Markus Mohnen
Proceedings of the Compiler Construction, 11th International Conference, 2002

2000
Efficient abstract interpretation using component-wise homomorphisms.
[BibTeX]
[DOI]
Jörg Köller
,
Markus Mohnen
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

1999
A New Class of Functions for Abstract Interpretation.
[BibTeX]
[DOI]
Jörg Köller
,
Markus Mohnen
Proceedings of the Static Analysis, 6th International Symposium, 1999

Fixed Points in Metrified Quasi Ordered Sets: Modelling Escaping in Functional Programs.
[BibTeX]
[DOI]
Markus Mohnen
Proceedings of the Informatik '99, 1999

1997
Optimising the memory management of higher order functional programs.
[BibTeX]
[DOI]
Markus Mohnen
PhD thesis, 1997

A Compiler Correctness Proof for the Static Link Technique by Means of Evolving Algebras.
[BibTeX]
[DOI]
Markus Mohnen
Fundam. Informaticae, 1997

Context Patterns, Part II.
[BibTeX]
[DOI]
Markus Mohnen
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

Using Quasi Ordered Sets to Model Program Properties Denotationally.
[BibTeX]
[DOI]
Markus Mohnen
Proceedings of the Informatik '97, 1997

1996
Context Patterns in Haskell.
[BibTeX]
[DOI]
Markus Mohnen
Proceedings of the Implementation of Functional Languages, 8th International Workshop, 1996

1995
Efficient Closure Utilisation by Higher-Order Inheritance Analysis
[BibTeX]
[DOI]
Markus Mohnen
Proceedings of the Static Analysis, 1995

Efficient Compile-Time Garbage Collection for Arbitrary Data Structures
[BibTeX]
[DOI]
Markus Mohnen
Proceedings of the Programming Languages: Implementations, 1995


  Loading...