Static analysis of PostScript code

DOI10.1016/0096-0551(93)90002-IzbMath0778.68026OpenAlexW2649931049MaRDI QIDQ3142280

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

static analysisabstract interpretationPostScript

Mathematics Subject Classification ID

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

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