Logo
LogoUniGeSES

ASG list of publications

Citation

R. Nigel Horspool, Jan Vitek, "Static Analysis of PostScript", in Proc. Proceedings of the Int. Conf. on Computer Languages, ICCL'92 (Oakland, CA, , 1992), pp.

Abstract

Stack-based languages, such as PostScript, present a major challenge to static analysis techniques because of their almost unlimited polymorphism. We introduce a regular expression notation that is used to represent allowed combinations of types on the stack at different points in a PostScript program. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or, ultimately, in permitting full or partial compilation of portions of code.

Bibtex

@inproceeding{Hors92,
Author = "R. Nigel Horspool, Jan Vitek",
Title = "Static Analysis of PostScript",
Booktitle = "Proceedings of the Int. Conf. on Computer Languages, ICCL'92",
Editor = "",
Publisher = "",
Pages = "",
Organization = "",
Address = "Oakland, CA",
Key = "osg-ftp",
Notes = "",
Month = "",
Year = "1992"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.