You are here

Home

1994

Brogi A, Chiarelli A, Mancarella P, Mazzotta V, Pedreschi D, Renso C, et al.. Implementations of Program Composition Operations. 1994;:292–307.
Giannotti F, Latella D. Gate Splitting in LOTOS Specifications Using Abstract Interpretation. Sci. Comput. Program. 1994;23:127-149.
Brogi A, Mancarella P, Pedreschi D, Turini F. Modular Logic Programming. ACM Trans. Program. Lang. Syst. 1994;16:1361-1398.

1993

Chiarelli A, Mazzotta V, Renso C. A WAM Estesa per la Composizione di Programi Logici. In GULP. 1993. pp. 189-202.
Amato G, Giannotti F, Mainetto G. Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation. In VLDB. 1993. pp. 405-415.
Giannotti F, Latella D. Gate Splitting in LOTOS Specifications Using Abstract Interpretation. In TAPSOFT. 1993. pp. 437-452.
Amato G, Giannotti F, Mainetto G. Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage. In FMLDO. 1993. pp. 19-29.
Corciulo L, Giannotti F, Pedreschi D. Datalog with Non-Deterministic Choice Computes NDB-PTIME. In DOOD. 1993. pp. 49-66.
Apt KR, Pedreschi D. Reasoning about Termination of Pure Prolog Programs. Inf. Comput. 1993;106:109-157.

1992

Bertolino B, Meo L, Pedreschi D, Turini F. The Type System of LML. Types in Logic Programming. 1992. pp. 313-332.

Pages