Publications

You are here

Home » Research
1996
D. Aquilino, Renso, C., and Turini, F., “Towards Declarative GIS Analysis”, in ACM-GIS, 1996, pp. 98-104.
D. Montesi, Renso, C., and Turini, F., “Using Temporary Integrity Constraints to Optimize Databases”, in FAPR, 1996, pp. 430-435.
1995
D. Pedreschi and Ruggieri, S., “A Case Study in Logic Program Verification: the Vanilla Metainterpreter”, in GULP-PRODE, 1995, pp. 643-654.
M. E. Carboni, Foddai, V., Giannotti, F., and Pedreschi, D., “Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach”, in GULP-PRODE, 1995, pp. 169-182.
M. E. Carboni, Giannotti, F., Foddai, V., and Pedreschi, D., “Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach”, in SEBD, 1995, pp. 3-13.
D. Aquilino, Asirelli, P., Renso, C., and Turini, F., “An Operator for Composing Deductive Databases with Theories of Constraints”, in LPNMR, 1995, pp. 57-70.
D. Aquilino, Asirelli, P., Renso, C., and Turini, F., “An Operator for Composing Deductive Databases with Theories of Constraints”, pp. 57–70, 1995.
1994
F. Fiore and Giannotti, F., “An abstract interpreter for the specification language LOTOS”, in FORTE, 1994, pp. 309-323.
A. Brogi, Renso, C., and Turini, F., “Amalgamating Language and Meta-language for Composing Logic Programs”, in GULP-PRODE (2), 1994, pp. 408-422.
G. Amato, Giannotti, F., and Mainetto, G., “Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation”, in SEBD, 1994, pp. 329-349.
L. Corciulo, Giannotti, F., Pedreschi, D., and Zaniolo, C., “Expressive Power of Non-Deterministic Operators for Logic-based Languages”, in Workshop on Deductive Databases and Logic Programming, 1994, pp. 27-40.
F. Giannotti and Latella, D., “Gate Splitting in LOTOS Specifications Using Abstract Interpretation”, Sci. Comput. Program., vol. 23, pp. 127-149, 1994.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., “Implementations of Program Composition Operations”, pp. 292–307, 1994.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., “Implementations of Program Composition Operations”, in PLILP, 1994, pp. 292-307.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., “Implementations of Program Composition Operations”, in PLILP, 1994, pp. 292-307.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Modular Logic Programming”, ACM Trans. Program. Lang. Syst., vol. 16, pp. 1361-1398, 1994.
D. Pedreschi, “A Proof Method for Runtime Properties of Prolog Programs”, in ICLP, 1994, pp. 584-598.
P. Mascellani and Pedreschi, D., “Proving termination of Prolog programs”, in GULP-PRODE (1), 1994, pp. 46-61.
1993
G. Amato, Giannotti, F., and Mainetto, G., “Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation”, in VLDB, 1993, pp. 405-415.
L. Corciulo, Giannotti, F., and Pedreschi, D., “Datalog with Non-Deterministic Choice Computes NDB-PTIME”, in DOOD, 1993, pp. 49-66.
F. Giannotti and Latella, D., “Gate Splitting in LOTOS Specifications Using Abstract Interpretation”, in TAPSOFT, 1993, pp. 437-452.
K. R. Apt and Pedreschi, D., “Reasoning about Termination of Pure Prolog Programs”, Inf. Comput., vol. 106, pp. 109-157, 1993.
G. Amato, Giannotti, F., and Mainetto, G., “Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage”, in FMLDO, 1993, pp. 19-29.
A. Chiarelli, Mazzotta, V., and Renso, C., “A WAM Estesa per la Composizione di Programi Logici”, in GULP, 1993, pp. 189-202.
1992
G. Amato, Giannotti, F., and Mainetto, G., “Analysis of Concurrent Transactions in a Functional Database Programming Language”, in WSA, 1992, pp. 174-184.

Pages