Publications

Export 167 results:
Sort by: Author Title Type [ Year (Asc)]
1985
Ambriola, V, Giannotti F, Pedreschi D, Turini F.  1985.  Symbolic Semantics and Program Reduction. IEEE Trans. Software Eng.. 11:784-794.
Albano, A, Giannotti F, Orsini R, Pedreschi D.  1985.  The Type System of Galileo. Data Types and Persistence (Appin), Informal Proceedings. :175-195.
Albano, A, Giannotti F, Orsini R, Pedreschi D.  1985.  The Type System of Galileo. Data Types and Persistence (Appin). :101-119.
1987
Giannotti, F, Matteucci A, Pedreschi D, Turini F.  1987.  Symbolic Evaluation with Structural Recursive Symbolic Constants. Sci. Comput. Program.. 9:161-177.
1990
Giannotti, F, Pedreschi D.  1990.  Declarative Semantics for Pruning Operators in Logic Programming. LPNMR. :27-37.
Bertazzoni, C, Giannotti F.  1990.  RASP: A Resource Allocator for Software Projects. IEA/AIE (Vol. 2). :628-637.
1991
Giannotti, F, Pedreschi D, Saccà D, Zaniolo C.  1991.  Non-Determinism in Deductive Databases. DOOD. :129-146.
Giannotti, F, Hermenegildo MV.  1991.  A Technique for Recursive Invariance Detection and Selective Program Specification. PLILP. :323-334.
1992
Amato, G, Giannotti F, Mainetto G.  1992.  Analysis of Concurrent Transactions in a Functional Database Programming Language. WSA. :174-184.
Giannotti, F, Latella D.  1992.  Using Abstract Interpretation for Gate splitting in LOTOS Specifications. WSA. :194-204.
1993
Amato, G, Giannotti F, Mainetto G.  1993.  Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation. VLDB. :405-415.
Corciulo, L, Giannotti F, Pedreschi D.  1993.  Datalog with Non-Deterministic Choice Computes NDB-PTIME. DOOD. :49-66.
Giannotti, F, Latella D.  1993.  Gate Splitting in LOTOS Specifications Using Abstract Interpretation. TAPSOFT. :437-452.
Amato, G, Giannotti F, Mainetto G.  1993.  Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage. FMLDO. :19-29.
1994
Fiore, F, Giannotti F.  1994.  An abstract interpreter for the specification language LOTOS. FORTE. :309-323.
Amato, G, Giannotti F, Mainetto G.  1994.  Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation. SEBD. :329-349.
Corciulo, L, Giannotti F, Pedreschi D, Zaniolo C.  1994.  Expressive Power of Non-Deterministic Operators for Logic-based Languages. Workshop on Deductive Databases and Logic Programming. :27-40.
Giannotti, F, Latella D.  1994.  Gate Splitting in LOTOS Specifications Using Abstract Interpretation. Sci. Comput. Program.. 23:127-149.
1995
Carboni, ME, Giannotti F, Foddai V, Pedreschi D.  1995.  Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach. SEBD. :3-13.
Carboni, ME, Foddai V, Giannotti F, Pedreschi D.  1995.  Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach. GULP-PRODE. :169-182.
1996
Apt, KR, Gabbrielli M, Pedreschi D.  1996.  A Closer Look at Declarative Interpretations. J. Log. Program.. 28:147-180.
Carboni, ME, Deo AD, Giannotti F, Masserotti MV.  1996.  Ragionamento spazio-temporale con LDLT: primi esperimenti verso un sistema deduttivo per applicazioni geografiche. SEBD. :73-90.
Carboni, ME, Deo AD, Giannotti F, Masserotti MV.  1996.  Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications. DDLP. :135-151.
1997
Giannotti, F, Manco G, Nanni M, Pedreschi D.  1997.  Datalog++: A Basis for Active Object-Oriented Databases. DOOD. :283-301.
Giannotti, F, Manco G, Nanni M, Pedreschi D.  1997.  Datalog++: a Basis for Active Object.Oriented Databases. SEBD. :325-340.