Martin Müller

Affiliations:

According to our database¹, Martin Müller authored at least 3 papers in 1996.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1996

Time and Space Efficient Method-Lookup for Object-Oriented Programs (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, 1996

PAN - The Prolog Analyzer.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, Third International Symposium, 1996

Automated Modular Termination Proofs for Real Prolog Programs.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, Third International Symposium, 1996