vix.ing · top · new · best · stats · spec

Germán Puebla

  1. Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
    2005/10/01 by Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno +1 · 2 citations
  2. An overview of Ciao and its design philosophy
    2011/02/27 by Manuel V. Hermenegildo, Hermenegildo, M. V., Francisco Bueno +11 · 2 citations
    Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)