Author Publications

2004

Bossi, Annalisa and Cocco, Nicoletta and Etalle, Sandro and Rossi, Sabina (2004) Declarative Semantics of Input Consuming Logic Programs. In: Program Development in Computational Logic. Lecture Notes in Computer Science (3049). Springer Verlag, Berlin, Germany, pp. 90-114. ISBN 9783540221524

Bossi, Annalisa and Cocco, Nicoletta and Etalle, Sandro and Rossi, Sabina (2004) Declarative Semantics of Input Consuming Logic Programs. [Report]

Bossi, Annalisa and Etalle, Sandro and Rossi, Sabina and Smaus, Jan-Georg (2004) Termination of Simply Moded Logic Programs with Dynamic Scheduling. ACM Transactions on Computational Logic, 15 (3). pp. 470-507. ISSN 1529-3785

2002

Bossi, Annalisa and Cocco, Nicoletta and Etalle, Sandro (2002) Transformation Systems and Nondeclarative Properties. In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski Part 1. Lecture Notes in Computer Science, 2407 . Springer-Verlag, Berlin, Germany, pp. 162-186. ISBN 9783540439592

Bossi, Annalisa and Cocco, Nicoletta and Rossi, Sabina and Etalle, Sandro (2002) On Modular Termination Proofs of General Logic Programs. Theory and Practice of Logic Programming, 2 (3). pp. 263-291. ISSN 1471-0684

Bossi, Annalisa and Rossi, Sabina and Etalle, Sandro (2002) Properties of Input-Consuming Derivations. Theory and Practice of Logic Programming, 2 (2). pp. 125-154. ISSN 1471-0684

2001

Etalle, Sandro and Bossi, Annalisa and Rossi, Sabina and Smaus, Jan-Georg (2001) Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. In: 10th European Symposium on Programming, ESOP 2001, April 2-6, 2001, Genova, Italy.

2000

Bossi, Annalisa and Cocco, Nicoletta and Etalle, Sandro (2000) Transformation of Left Terminating Programs. In: 9th International Workshop on Logic Program Synthesis and Transformation, LOPSTR '99, September 22-24, 1999, Venezia, Italy.

Bossi, Annalisa and Cocco, Nicoletta and Etalle, Sandro (2000) Transformation of left terminating programs: The reordering problem. In: 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR '95, September 20-22, 1995, Utrecht, The Netherlands.

Bossi, Annalisa and Etalle, Sandro and Rossi, Sabina (2000) Semantics of Input-Consuming Logic Programs. In: First International Conference on Computational Logic, CL 2000, July 24-28, 2000, London, UK.

Bossi, Annalisa and Etalle, Sandro and Rossi, Sabina (2000) Semantics of Well-Moded Input-Consuming Programs. Computer Languages, 26 (1). pp. 1-25. ISSN 0096-0551

1999

Bossi, Annalisa and Etalle, Sandro and Rossi, Sabina (1999) Properties of Input-Consuming Derivations. In: Workshop on Verification of Logic Programs. Electronic Notes in Theoretical Computer Science, 30 (1). Elsevier, pp. 102-124.

Etalle, S. and Bossi, A. and Cocco, N. (1999) Termination of well-moded programs. The Journal of Logic Programming, 38 (2). pp. 243-257. ISSN 0743-1066

1996

Bossi, Annalisa and Cocco, Nicoletta and Etalle, Sandro (1996) Simultaneous Replacement in Normal Programs. Journal of Logic and Computation, 6 (1). pp. 79-120. ISSN 0955-792X

1994

Bossi, Annalisa and Etalle, Sandro (1994) Transforming acyclic programs. ACM Transactions on Programming Languages and Systems (TOPLAS), 16 (4). pp. 1081-1096. ISSN 0164-0925

Bossi, Annalisa and Etalle, Sandro (1994) More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. In: 4th International Workshop on Meta Programming in Logic, META '94, June 20-21, 1994, Pisa, Italy.

1993

Bossi, Annalisa and Cocco, Nicoletta and Etalle, Sandro (1993) On Safe Folding. In: 4th International Symposium on Programming Language Implementation and Logic Programming, PLILP 1992, August 26-28, 1992, Leuven, Belgique.