Concepedia

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García

Science of Computer Programming · 2005 · 184 citations · 33 references

DOIFull text

Open access

Concepts

References

33

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

, , +8

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

, , +16

Imperative functional programming

Simon Jones, Philip Wadler · 1993 · 1.2K citations · Full text

, , +15

Compile-time derivation of variable dependency using abstract interpretation

Kalyan Muthukumar, Manuel V. Hermenegildo · The Journal of Logic Programming · 1992 · 230 citations · Full text

, , +13

Systematic design of program transformation frameworks by abstract interpretation

Patrick Cousot, Radhia Cousot · 2002 · 156 citations

, , +15