Yearly Archives: 2003

Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 2003

Proceedings, split paper per paper, are the following: Preface by  Francesco Buccafurri. agp2003-000_Buccafurri Domenico Cantone, Calogero G. Zarba: A Decision Procedure for Monotone Functions over Lattices. APPIA-GULP-PRODE 2003: 1-12 agp2003-001_Cantone Elvira Albert, Josep Silva, Germán Vidal: Time Equations for Lazy Functional (Logic) Languages. APPIA-GULP-PRODE…

GULP Workshop 2003 , Venice (Italy)

Giornata GULP 2003 in concomitanza con la riunione del Direttivo e l’Assemblea dei soci 19 dicembre 2003, Venezia La giornata GULP si terrà presso il Dipartimento di Informatica dell’Università “Ca’ Foscari” di Venezia Via Torino 155, Mestre Programma della Giornata…