Publications

You are here

1994
F. Fiore and Giannotti, F., An abstract interpreter for the specification language LOTOS, in FORTE, 1994, pp. 309-323.
A. Brogi, Renso, C., and Turini, F., Amalgamating Language and Meta-language for Composing Logic Programs, in GULP-PRODE (2), 1994, pp. 408-422.
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.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., Implementations of Program Composition Operations, in PLILP, 1994, pp. 292-307.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., Implementations of Program Composition Operations, in PLILP, 1994, pp. 292-307.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., Implementations of Program Composition Operations, pp. 292–307, 1994.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., Modular Logic Programming, ACM Trans. Program. Lang. Syst., vol. 16, pp. 1361-1398, 1994.
D. Pedreschi, A Proof Method for Runtime Properties of Prolog Programs, in ICLP, 1994, pp. 584-598.
P. Mascellani and Pedreschi, D., Proving termination of Prolog programs, in GULP-PRODE (1), 1994, pp. 46-61.

Pages