Martin Müller

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

S. Muthukrishnan, Martin Müller
Time and Space Efficient Method-Lookup for Object-Oriented Programs (Extended Abstract). SODA (1996)
Martin Müller, Thomas Glaß, Karl Stroetmann
PAN - The Prolog Analyzer. SAS (1996)
Martin Müller, Thomas Glaß, Karl Stroetmann
Automated Modular Termination Proofs for Real Prolog Programs. SAS (1996)