Static analysis of PostScript code

DOI10.1016/0096-0551(93)90002-IMaRDI QIDQ3142280zbMATH OpenOpenAlexFDO

Authors Jan Vitek, R. Nigel Horspool

Publication date 15 November 1993

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0096-0551(93)90002-i

zbMATH Keywords

abstract interpretationPostScriptstatic analysis

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Type inference in stack based languages
• scientific article; zbMATH DE number 2087567
• scientific article; zbMATH DE number 1324833
• Static semantics, types, and binding time analysis
• scientific article; zbMATH DE number 1617328

Cited in

(3)

• Postscript
• scientific article; zbMATH DE number 4200292 (Why is no real title available?)
• Type inference in stack based languages

This page was built for publication: Static analysis of PostScript code

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3142280)