Publications

You are here

Home » Research
Export 5 results:
Author Title Type [ Year(Desc)]
Filters: Author is Fosca Giannotti  [Clear All Filters]
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
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.
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.
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.
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.
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.
1994
F. Fiore and Giannotti, F., “An abstract interpreter for the specification language LOTOS”, in FORTE, 1994, pp. 309-323.
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.
1995
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.
1996
M. E. Carboni, Deo, A. D., Giannotti, F., and Masserotti, M. V., “Ragionamento spazio-temporale con LDLT: primi esperimenti verso un sistema deduttivo per applicazioni geografiche”, in SEBD, 1996, pp. 73-90.
M. E. Carboni, Deo, A. D., Giannotti, F., and Masserotti, M. V., “Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications”, in DDLP, 1996, pp. 135-151.
1997
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., “Datalog++: A Basis for Active Object-Oriented Databases”, in DOOD, 1997, pp. 283-301.
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., “Datalog++: a Basis for Active Object.Oriented Databases”, in SEBD, 1997, pp. 325-340.
F. Giannotti, Manco, G., and Pedreschi, D., “A Deductive Data Model for Representing and Querying Semistructured Data”, in APPIA-GULP-PRODE, 1997, pp. 129-140.

Pages