scientific article; zbMATH DE number 1832221

MaRDI QIDQ4778699zbMATHFDO

Authors Fausto Spoto

Publication date 19 November 2002

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:

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