@INPROCEEDINGS{AltMartin95,
AUTHOR= "Martin Alt and Florian Martin",
TITLE= "{G}eneration of {E}fficient {I}nterprocedural {A}nalyzers
with {PAG}",
EDITOR = {Alan Mycroft},
PUBLISHER = {Springer},
YEAR = {1995},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {983},
PAGES= {33--50},
BOOKTITLE={SAS'95, Static Analysis Symposium},
MONTH={September}
}
@MASTERSTHESIS{Martin95,
AUTHOR = {Florian Martin},
TITLE = {{E}ntwurf und {I}mplementierung eines {G}enerators f{\"u}r
{D}atenflu{\ss}analysatoren},
YEAR = {1995},
SCHOOL = {Universit{\"a}t des Saarlandes},
TYPE = {Masterthesis},
}
@TECHREPORT{AltMartinWilhelm95,
AUTHOR = {Martin Alt and Florian Martin and Reinhard Wilhelm},
TITLE = {{G}enerating {D}ataflow {A}nalyzers with {PAG}},
YEAR = {1995},
NUMBER = {A 10/95},
INSTITUTION = {Universit{\"a}t des Saarlandes},
TYPE = {Technical Report},
}
@INPROCEEDINGS{AltFerdinandMartinWilhelm96,
AUTHOR= "Martin Alt and Christian Ferdinand and Florian Martin
and Reinhard Wilhelm",
TITLE= "{C}ache {B}ehavior {P}rediction by {A}bstract {I}nterpretation",
EDITOR={Radhia Cousot and David A. Schmidt},
PUBLISHER={Springer},
YEAR={1996},
SERIES = {Lecture Notes in Computer Science},
VOLUME={1145},
PAGES={51--66},
BOOKTITLE={SAS'96, Static Analysis Symposium},
MONTH={September}
}
@MANUAL{ThesingMartinAltLauer98,
AUTHOR={Stephan Thesing and Florian Martin and Martin Alt and Oliver Lauer},
TITLE={{PAG} {U}ser's {M}anual},
YEAR={1998}
NOTE={Version 1.0}
}
@INPROCEEDINGS{WilhelmAltMartinRaber97,
AUTHOR={Reinhard Wilhelm and Martin Alt and Florian Martin and
Martin Raber},
TITLE={{P}arallel {I}mplementation of {F}unctional {L}anguages},
BOOKTITLE = {5th LOMAPS Workshop, Analysis and Verification of
Multiple-Agent Languages},
EDITOR = {Mads Dam},
PUBLISHER = {Springer},
YEAR = {1997},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {1192},
MONTH={June}
}
@INPROCEEDINGS{FerdinandMartinWilhelm97,
AUTHOR= "Christian Ferdinand and Florian Martin
and Reinhard Wilhelm",
TITLE= "{A}pplying {C}ompiler {T}echniques to {C}ache {B}ehavior {P}rediction",
YEAR={1997},
PAGES={37--46},
BOOKTITLE={Workshop on Languages, Compilers and Tools for Real-Time Systems (LCT-RTS)},
MONTH={June}
}
@INPROCEEDINGS{AltMartin97,
AUTHOR= "Martin Alt and Florian Martin",
TITLE= "{P}ractical {C}omparison of {C}all {S}tring and {F}unctional {A}pproach in {D}ata {F}low {A}nalysis",
YEAR={1997},
EDITOR="Herbert Kuchen",
PUBLISHER={Westf{\"a}lische Wilhelms-Universit{\"a}t M{\"u}nster},
SERIES={Arbeitsberichte des Institutes f{\"u}r Wirtschaftsinformatik},
VOLUME={58},
BOOKTITLE={Arbeitstagung Programmiersprachen},
MONTH={July}
}
@INPROCEEDINGS{MartinAltWilhelmFerdinand98,
AUTHOR= "Florian Martin and Martin Alt and Reinhard Wilhelm and Christian Ferdinand",
TITLE= "{A}nalysis of {L}oops",
YEAR={1998},
EDITOR="Kai Koskimies",
PUBLISHER={Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME={1383},
BOOKTITLE={Proceedings of the 7th International Conference on Compiler Construction},
MONTH={March/April}
}
@ARTICLE{Martin98,
AUTHOR= "Florian Martin",
TITLE= "{PAG} -- an efficient program analyzer generator",
YEAR={1998},
EDITOR="Chris Hankin",
PUBLISHER={Springer},
JOURNAL = "International Journal on Software Tools for Technology Transfer",
VOLUME=2,
NUMBER=1,
PAGES={46--67}
}
@INPROCEEDINGS{Martin99,
AUTHOR= "Florian Martin",
TITLE= "{E}xperimental {C}omparison of {\it call string} and
{\it functional} {A}pproaches to {I}nterprocedural {A}nalysis",
YEAR={1999},
EDITOR="Stephan Jaehnichen",
PUBLISHER={Springer},
SERIES = {Lecture Notes in Computer Science},
BOOKTITLE={Proceedings of the 8th International Conference on Compiler Construction},
VOLUME={1575},
PAGES={63--75}
}
@PHDTHESIS{MartinPhd99,
AUTHOR= "Florian Martin",
TITLE= "{G}eneration of {P}rogram {A}nalyzers",
YEAR={1999},
SCHOOL={Universit{\"a}t des Saarlandes}
}