Publications

You are here

Home » Research
Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Author is Fosca Giannotti  [Clear All Filters]
1994
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.
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.
G. Amato, Giannotti, F., and Mainetto, G., “Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage”, in FMLDO, 1993, pp. 19-29.
1992
G. Amato, Giannotti, F., and Mainetto, G., “Analysis of Concurrent Transactions in a Functional Database Programming Language”, in WSA, 1992, pp. 174-184.
F. Giannotti and Latella, D., “Using Abstract Interpretation for Gate splitting in LOTOS Specifications”, in WSA, 1992, pp. 194-204.
1991
F. Giannotti, Pedreschi, D., Saccà, D., and Zaniolo, C., “Non-Determinism in Deductive Databases”, in DOOD, 1991, pp. 129-146.
F. Giannotti and Hermenegildo, M. V., “A Technique for Recursive Invariance Detection and Selective Program Specification”, in PLILP, 1991, pp. 323-334.
1990
F. Giannotti and Pedreschi, D., “Declarative Semantics for Pruning Operators in Logic Programming”, in LPNMR, 1990, pp. 27-37.
C. Bertazzoni and Giannotti, F., “RASP: A Resource Allocator for Software Projects”, in IEA/AIE (Vol. 2), 1990, pp. 628-637.
1987
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.
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), 1985, pp. 101-119.
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.

Pages