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

  1. Hermenegildo, M.V.
  2. Puebla, G.
  3. Bueno, F.
  4. López-García, P.
Aldizkaria:
Science of Computer Programming

ISSN: 0167-6423

Argitalpen urtea: 2005

Zenbakien izenburua: Static Analysis Symposium 2003

Alea: 58

Zenbakia: 1-2

Orrialdeak: 115-140

Mota: Biltzar ekarpena

DOI: 10.1016/J.SCICO.2005.02.006 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus