More recent papers can be found in the DBLP database.
Martin Alt, Florian Martin:
Generation of efficient interprocedural analyzers with PAG
In SAS'95, Static Analysis Symposium, LNCS 983, pages 33—50. Springer, 1995.
» BibTex entryFlorian Martin:
Die Generierung von Datenflußanalysatoren
Diplomarbeit, Universität des Saarlandes, Germany, 1995.
» PostScript file
» BibTeX entryMartin Alt, Florian Martin, Reinhard Wilhelm:
Generating Dataflow Analyzers with PAG
Technical Report A10-95, Univertität des Saarlandes, FB 14 Informatik, 1995.
» PostScript file
» BibTeX entryMartin Alt, Christian Ferdinand, Florian Martin and Reinhard Wilhelm:
Cache Behavior Prediction by Abstract Interpretation
In SAS'96, Static Analysis Symposium, LNCS 1145, pages 52—66. Springer, 1996.
» BibTeX entryStephan Thesing, Florian Martin, Martin Alt and Oliver Lauer:
PAG User's Manual Version 1.0, 1998.
» PostScript file
» BibTeX entryReinhard Wilhelm, Martin Alt, Florian Martin and Martin Raber:
Parallel Implementation of Functional Languages
In 5th LOMAPS Workshop, Analysis and Verification of Multiple-Agent Languages,
LNCS 1192 Springer, 1997.
» BibTeX entryChristian Ferdinand, Florian Martin and Reinhard Wilhelm:
Applying Compiler Techniques to Cache Behavior Prediction
In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time System (LCT-RTS), Las Vegas, Nevada, 1997.
» BibTeX entryMartin Alt and Florian Martin:
Practical Comparison of Call String and Functional Approach in Data Flow Analysis
In Proceedings of the Arbeitstagung Programmiersprachen 1997.
» BibTeX entryFlorian Martin, Martin Alt, Reinhard Wilhelm and Christian Ferdinand:
Analysis of Loops
In Proceedings of the 7th International Conference on Compiler Construction
LNCS 1383 Springer, 1998.
» BibTeX entryFlorian Martin:
PAG — an efficient program analyzer generator
In International Journal on Software Tools for Technology Transfer
STTT Vol. 2 Issue 1 Springer, 1998.
» BibTeX entryFlorian Martin:
Experimental Comparison of call string and functional Approaches to Interprocedural Analysis
In Proceedings of the 8th International Conference on Compiler Construction,
LNCS 1575 Springer, 1999.
» BibTeX entryFlorian Martin:
Generating Program Analyzers
Dissertation Universität des Saarlandes 1999, ISBN 3-930714-48-5.
» PostScript file
» BibTeX entry
 Related links» PAG/WWW: Experiencing program analysis » Product flyer (PDF, 39kB) » Contact us |