Watchpoint semantics: A tool for compositional and focussed static analyses

DOI10.1007/3-540-47764-0_8MaRDI QIDQ4778699zbMATH OpenFDO

Authors Fausto Spoto

Publication date 19 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2126/21260127

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Programming Languages and Systems
• scientific article; zbMATH DE number 2087567
• scientific article; zbMATH DE number 1390341
• On the power of abstract interpretation
• Abstract fixpoint computations with numerical acceleration methods

Cited in

(3)

• Logic programs as compact denotations.
• Tracing compilation by abstract interpretation
• Magic-sets for localised analysis of Java bytecode

This page was built for publication: Watchpoint semantics: A tool for compositional and focussed static analyses

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