Verification of Constraint Handling Rules using Linear Logic Phase Semantics
Beitrag zu einer Konferenz
Editor
Schrijvers, TomRaiser, Frank
Frühwirth, Thom
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauPublished in
CHR 2008, The 5th Workshop on Constraint Handling Rules / Schrijvers, Tom ; Raiser, Frank ; Frühwirth, Thom (Hrsg.). - Linz : RISC, 2008. - (RISC-Linz Report Series ; 08-10). - S. 67-78
Link to publication
Conference
CHR 2008 The 5th Workshop on Constraint Handling Rules, 2008-07-14, Linz