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

Hermenegildo, M. V.

  1. An overview of Ciao and its design philosophy
    2011/02/27 by Manuel V. Hermenegildo, M. V. Hermenegildo, Hermenegildo, M. V. +17 · 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) #cs.PL