scientific article; zbMATH DE number 1832221

zbMATH Open0997.68517MaRDI QIDQ4778699FDOQ4778699

Authors: Fausto Spoto 

Publication date: 19 November 2002

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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)