You are here

Home

1995

Carboni ME, Giannotti F, Foddai V, Pedreschi D. Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach. In SEBD. 1995. pp. 3-13.
Aquilino D, Asirelli P, Renso C, Turini F. An Operator for Composing Deductive Databases with Theories of Constraints. 1995;:57–70.

1994

Mascellani P, Pedreschi D. Proving termination of Prolog programs. In GULP-PRODE (1). 1994. pp. 46-61.
Pedreschi D. A Proof Method for Runtime Properties of Prolog Programs. In ICLP. 1994. pp. 584-598.
Brogi A, Chiarelli A, Mancarella P, Mazzotta V, Pedreschi D, Renso C, et al.. Implementations of Program Composition Operations. In PLILP. 1994. pp. 292-307.
Brogi A, Chiarelli A, Mancarella P, Mazzotta V, Pedreschi D, Renso C, et al.. Implementations of Program Composition Operations. In PLILP. 1994. pp. 292-307.
Brogi A, Renso C, Turini F. Amalgamating Language and Meta-language for Composing Logic Programs. In GULP-PRODE (2). 1994. pp. 408-422.
Fiore F, Giannotti F. An abstract interpreter for the specification language LOTOS. In FORTE. 1994. pp. 309-323.
Amato G, Giannotti F, Mainetto G. Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation. In SEBD. 1994. pp. 329-349.
Corciulo L, Giannotti F, Pedreschi D, Zaniolo C. Expressive Power of Non-Deterministic Operators for Logic-based Languages. In Workshop on Deductive Databases and Logic Programming. 1994. pp. 27-40.

Pages