Publications

You are here

Home » Research
1985
V. Ambriola, Giannotti, F., Pedreschi, D., and Turini, F., “Symbolic Semantics and Program Reduction”, IEEE Trans. Software Eng., vol. 11, pp. 784-794, 1985.
A. Albano, Giannotti, F., Orsini, R., and Pedreschi, D., “The Type System of Galileo”, in Data Types and Persistence (Appin), Informal Proceedings, 1985, pp. 175-195.
A. Albano, Giannotti, F., Orsini, R., and Pedreschi, D., “The Type System of Galileo”, in Data Types and Persistence (Appin), 1985, pp. 101-119.
1987
R. Barbuti, Mancarella, P., Pedreschi, D., and Turini, F., “Intensional Negation of Logic Programs: Examples and Implementation Techniques”, in TAPSOFT, Vol.2, 1987, pp. 96-110.
F. Giannotti, Matteucci, A., Pedreschi, D., and Turini, F., “Symbolic Evaluation with Structural Recursive Symbolic Constants”, Sci. Comput. Program., vol. 9, pp. 161-177, 1987.
1988
P. Mancarella and Pedreschi, D., “An Algebra of Logic Programs”, in ICLP/SLP, 1988, pp. 1006-1023.
P. Mancarella, Martini, S., and Pedreschi, D., “Complete Logic Programs with Domain-Closure Axiom”, J. Log. Program., vol. 5, pp. 263-276, 1988.
B. Bertolino, Mancarella, P., Meo, L., Nini, L., Pedreschi, D., and Turini, F., “A Progress Report on the LML Project”, in FGCS, 1988, pp. 675-684.
1990
P. Mancarella, Pedreschi, D., Rondinelli, M., and Tagliatti, M., “Algebraic Properties of a Class of Logic Programs”, in NACLP, 1990, pp. 23-39.
F. Giannotti and Pedreschi, D., “Declarative Semantics for Pruning Operators in Logic Programming”, in LPNMR, 1990, pp. 27-37.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Logic Programming within a Functional Framework”, in PLILP, 1990, pp. 372-386.
C. Bertazzoni and Giannotti, F., “RASP: A Resource Allocator for Software Projects”, in IEA/AIE (Vol. 2), 1990, pp. 628-637.
R. Barbuti, Mancarella, P., Pedreschi, D., and Turini, F., “A Transformational Approach to Negation in Logic Programming”, J. Log. Program., vol. 8, pp. 201-228, 1990.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Universal Quantification by Case Analysis”, in ECAI, 1990, pp. 111-116.
1991
F. Giannotti, Pedreschi, D., Saccà, D., and Zaniolo, C., “Non-Determinism in Deductive Databases”, in DOOD, 1991, pp. 129-146.
K. R. Apt and Pedreschi, D., “Proving Termination of General Prolog Programs”, in TACS, 1991, pp. 265-289.
F. Giannotti and Hermenegildo, M. V., “A Technique for Recursive Invariance Detection and Selective Program Specification”, in PLILP, 1991, pp. 323-334.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Theory Construction in Computational Logic”, in ICLP Workshop on Construction of Logic Programs, 1991, pp. 241-250.
1992
G. Amato, Giannotti, F., and Mainetto, G., “Analysis of Concurrent Transactions in a Functional Database Programming Language”, in WSA, 1992, pp. 174-184.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Meta for Modularising Logic Programming”, in META, 1992, pp. 105-119.
B. Bertolino, Meo, L., Pedreschi, D., and Turini, F., The Type System of LML. 1992, pp. 313-332.
F. Giannotti and Latella, D., “Using Abstract Interpretation for Gate splitting in LOTOS Specifications”, in WSA, 1992, pp. 194-204.
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.

Pages