
Publications
.
1985. Symbolic Semantics and Program Reduction. IEEE Trans. Software Eng.. 11:784-794.
.
1985. The Type System of Galileo. Data Types and Persistence (Appin), Informal Proceedings. :175-195.
.
1985. The Type System of Galileo. Data Types and Persistence (Appin). :101-119.
.
1987. Symbolic Evaluation with Structural Recursive Symbolic Constants. Sci. Comput. Program.. 9:161-177.
.
1990. Declarative Semantics for Pruning Operators in Logic Programming. LPNMR. :27-37.
.
1990. RASP: A Resource Allocator for Software Projects. IEA/AIE (Vol. 2). :628-637.
.
1991. Non-Determinism in Deductive Databases. DOOD. :129-146.
.
1991. A Technique for Recursive Invariance Detection and Selective Program Specification. PLILP. :323-334.
.
1992. Analysis of Concurrent Transactions in a Functional Database Programming Language. WSA. :174-184.
.
1992. Using Abstract Interpretation for Gate splitting in LOTOS Specifications. WSA. :194-204.
.
1993. Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation. VLDB. :405-415.
.
1993. Datalog with Non-Deterministic Choice Computes NDB-PTIME. DOOD. :49-66.
.
1993. Gate Splitting in LOTOS Specifications Using Abstract Interpretation. TAPSOFT. :437-452.
.
1993. Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage. FMLDO. :19-29.
.
1994. An abstract interpreter for the specification language LOTOS. FORTE. :309-323.
.
1994. Expressive Power of Non-Deterministic Operators for Logic-based Languages. Workshop on Deductive Databases and Logic Programming. :27-40.
.
1994. Gate Splitting in LOTOS Specifications Using Abstract Interpretation. Sci. Comput. Program.. 23:127-149.
.
1995. Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach. SEBD. :3-13.
.
1995. Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach. GULP-PRODE. :169-182.
.
1996. A Closer Look at Declarative Interpretations. J. Log. Program.. 28:147-180.
.
1997. Datalog++: A Basis for Active Object-Oriented Databases. DOOD. :283-301.
.
1997. Datalog++: a Basis for Active Object.Oriented Databases. SEBD. :325-340.

]