scientific article; zbMATH DE number 2086611
From MaRDI portal
Publication:4737145
zbMATH Open1056.68509MaRDI QIDQ4737145FDOQ4737145
Authors: Manuel Hermenegildo, Germán Puebla, F. Bueno, P. López-García 
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2380/23800069.htm
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 1975609
- Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
- scientific article; zbMATH DE number 1368925
- scientific article; zbMATH DE number 2090844
- Logical approximation for program analysis
Cited In (9)
- A formal semantics for program debugging
- Method for detecting exceptions in Windows applications
- Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
- Title not available (Why is that?)
- Mathematical programming based debugging
- Assertion based inductive verification methods for logic programs
- Title not available (Why is that?)
- Program analysis using quantifier-elimination heuristics (extended abstract)
- Title not available (Why is that?)
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 Q4737145)
