Static analysis of PostScript code

rogram. 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.

• Type: Conference
• Year: 1992
• Where: ICCL
• Authors: R. Nigel Horspool, Jan Vitek
• Keywords: Abstract Interpretation Algorithm, ICCL 1992, Probable Errors, Programming Languages, Static Type Analysis