Selected publications of Sandro Etalle

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Selected publications of Sandro Etalle

This page contains the ps & pdf of the old publications of Sandro Etalle but it is not up to date, see http://wwwhome.cs.utwente.nl/~pieter/refs/Etalle.html

2002

A. Bossi, N. Cocco S. Etalle and S. Rossi. On Modular Termination Proofs of General Logic Programs. Theory and Practice of Logic Programming. Vol 2, n. 3, May 2002. Also availabe at CoRR: http://arXiv.org/abs/cs.LO/0005018
A. Bossi, S. Etalle and S. Rossi. Properties of Input-Consuming Derivations (ps, pdf) Theory and Practice of Logic Programming, Vol 2, n. 2, March 2002. Pages 125-154. Also available at CoRR: http://xxx.lanl.gov/abs/cs.PL/0101023.
R. Corin and S. Etalle. An Improved Constraint-Based System for the Verification of Security Protocols . Proc. 2002 Static Analysis Symposium. Springer-Verlag, LNCS, 2477 2002. Also available via the Springer LNCS page.
A. Bossi and N. Cocco and S. Etalle, Transformation Systems and Nondeclarative Properties, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, LNCS 2407, A. C. Kakas and F. Sadri (eds.) , published by Springer-Verlag, 2002, pp. 162-186 ISBN 3-540-43959-5.
G. Delzanno and S. Etalle. Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols . Post-Proc. LOPSTR 2001: Eleventh International Workshop on Logic Program Synthesis and Transformation. Springer-Verlag, LNCS 2372, 2002. Also available online via the Springer LNCS page.
G. Delzanno and S. Etalle and M. Gabbrielli (eds.). Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE), Techical Report, Roskilde University, Datalogiske Skrifter (94), held in Denmark, Copenhagen, 2002 ISSN 0109-9779.

2001

S. Etalle, M. Gabbrielli and C. M. Meo. Transformations of ccp Programs (ps.gz,pdf.gz). ACM Transactions on Programming Languages and Systems (TOPLAS). Vol. 23 n. 3, May, 2001. Also available at CoRR.
A. Bossi, S. Etalle and S. Rossi. Semantics of Well-Moded Input-Consuming Programs . Computer Languages, vol. 26, n. 1, April 2001. Aalso available at http://www.elsevier.nl/locate/cl
A. Bossi, S. Etalle, S. Rossi. Semantics and Termination of Simply-Moded Logic Prorgams with Dynamic Scheduling (preliminary version). Proc. 2001 European Symposium om Programming. LNCS.

Papers published last century

Journal Papers

S. Etalle, P. Hartel and W. Vree. Declarative Solutions to Partioned-Grid Problems,. Software Practice and Experience (29)13, 1999. Pages 1173-00.
S. Etalle and M. Gabbrielli. Layered Modes. Journal of Logic Programming (39)1-3, 1999. Pages 225-244. © Elsevier. This article is also available via the JLP home page.
S. Etalle, A. Bossi and N. Cocco. Termination of Well-Moded Programs. Journal of Logic Programming (38)2, 1999. Pages 243-257. © Elsevier. This article is also available via the JLP home page.
S. Etalle and M. Gabbrielli. Partial Evaluation of Concurrent Constraints Languages. ACM Computing Surveys, September 1998, Symposium on Partial Evaluation.
S. Etalle. A Semantics for Modular General Logic Programs (this is the preliminary version) Theoretical Computer Science 206 (1998) pages 51-80 - Elsevier Science.
S. Etalle. Unification-Free Prolog Programs Revisited. Journal of Programming Languages, 1996 n. 4. Chapman & Hall, London.
S. Etalle and M. Gabbrielli. Transformations of CLP Modules. Theoretical Computer Science, Vol 166 n. 1 (1996) pages 101-146 - Elsevier Science.
S. Etalle and M. Gabbrielli. On the Correctness of the Replacement Operation for CLP Modules. The Journal of Functional and Logic Programming (1996) - The MIT Press. A preliminary version can be found here.
A. Bossi, N. Cocco and S. Etalle. Simultaneous Replacement in Normal Programs. Journal of Logic and Computation, Vol. 6 n. 1, February 1996. Oxford University Press.
A. Bossi and S. Etalle. Transforming Acyclic Programs. ACM Transactions on Programming Languages and Systems (TOPLAS), Vol 16 n. 4, July 1994.

The PhD Thesis

Transformation and Analysis of (Constraint) Logic Programs (510K - feel free of mailing me if you want a hard copy). Advisors: K. R. Apt and A. Bossi. ILLC Dissertation Series 1995-7.

Conference Papers

A. Bossi, S. Etalle, S. Rossi. Semantics of Input-Consuming Programs.Proceedings First International Conf. on Computational Logic (CL2000) pp. 194-208. ©Springer-Verlag. LNAI 1861. This article will be available online via the Springer LNCS page. Please use the latter link if you have the right to do so.
A. Bossi, N. Cocco and S. Etalle. Transformation of Left Terminating Programs. Proc. LOPSTR99: Ninth International Workshop on Logic Program Synthesis and Transformation. © Springer-Verlag. This article is also available online via the Springer LNCS page. Please use the latter link if you have the right to do so.
M. Bertolino, S. Etalle and C. Palamidessi. The Replacement Operation for CCP Programs. Proc. LOPSTR99: Ninth International Workshop on Logic Program Synthesis and Transformation. © Springer-Verlag. This article is also available online via the Springer LNCS page. Please use the latter link if you have the right to do so.
S. Etalle and F. van Raamsdonk. Logic Programming with Requests. Also in pdf. Proc. ICLP99: 1999 International Conference on Logic Programming.
S. Etalle, M. Gabbrielli and M .C. Meo. Unfold/Fold Tranformations of CCP Programs. Proc. 9th International Conference on Concurrency Theory. LNCS, 1998. Errata: in the final version of the paper we have left out an obvious restriction on the variables of the definitions involved in a folding operation. This is the correct version.
S. Etalle and F. van Raamsdonk. Beyond Success and Failure (preliminary version). Proc. 1998 Joint International Conference and Simposium on Logic Programming.
S. Etalle, M. Gabbrielli and E. Marchiori.A Transformation System for CLP with Dynamic Scheduling and CCP (non-final version). Proc. 1997 ACM--SIGPLAN Symposium on Partial Evaluation and Semantic Based Program Manipulation. ACM Press, 1997.
S. Etalle and F. Teusink. A Compositional Semantics for Normal Open Programs (non-final version). Proc. JICSLP'96, Joint International Conference and Symposium on Logic Programming. The MIT Press, 1996.
A. Bossi, N. Cocco and S. Etalle. Transformation of Left Terminating Programs: the Reordering Problem. Proc. Fifth International Workshop on Logic Program Synthesis and Transformation. LNCS, Springer-Verlag, Berlin, 1995.
S. Etalle and M. Gabbrielli. The Replacement Operation for CLP Modules. Proc. 1995 ACM--SIGPLAN Symposium on Partial Evaluation and Semantic Based Program Manipulation. ACM Press, 1995.
S. Etalle and M. Gabbrielli. A Transformation System for Modular CLP Programs. Proc. ICLP95 Twelfth International Conference on Logic Programming. The MIT Press, 1995.
A. Bossi and S. Etalle. More on Unfold/Fold Transformations of Normal Programs: preservation of Fitting's Semantics''. Proc. META94 - ``Fifth Workshop on Metaprogramming in Logic'', Pisa, Italy Springer-Verlag, Berlin, 1994.
K. R. Apt and S. Etalle. On the Unification Free Prolog Programs. Proc. MFCS'93, ``18th International Symposium on Mathematical Foundations of Computer Science'', Gdansk, Poland. Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1993.
A. Bossi, N. Cocco and S. Etalle. On Safe Folding. In Proc. PLILP92, ``Fourth International Symposium on Programming Language Implementation and Logic Programming'', Leuven, Belgium. Lecture Notes in Computer Science, vol. 631, Springer-Verlag, Berlin, 1992.
A. Bossi, N. Cocco and S. Etalle. Transforming Normal Programs by Replacement. In Proc. META92, ``Third Workshop on Metaprogramming in Logic'', Uppsala, Sweden. Lecture Notes in Computer Science, vol. 649, Springer-Verlag, Berlin, 1992.

Other Papers

A. Bossi, S. Etalle and S. Rossi Properties of Input-Consuming Derivations in Electronic Notes in Theoretical Computer Science Vol 30, n. 1. 1999. Elsevier Science (available online).
S. Etalle and J. Mountjoy. The (Lazy) Functional Side of Logic Programming. Technical Report CS 00-02, University of Maastricht.
G. Delzanno and S. Etalle. A Proof Theoretic Analysis of Security Protocols Technical Report DISI-TR-01-08. Univeristy of Genova. 2001.

Proceedings Workshop on Verification

S. Etalle and J. Smaus (eds.) Proceedings of the ICLP99 Workshop on Verification of Logic Programs, in Electronic Notes in Theoretical Computer Science Vol 30, n. 1. 1999. Elsevier Science (available online).

Back to Sandro's home page.