SearchBrowse

close this section of the libraryftp://ftp.di.unipi.it (223)
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/danelutto/td590.ps.gz, 19930119
- 1 - Universit degli studi di Pisa Dipartimento di Informatica Dottorato di ricerca in Informatica Universit di Pisa - Genova -Udine PhD Thesis: TD-5/90 A Massively Parallel Architecture Using VLIW for Fine Grain Parallelism Exploitation Marco Danelutto March 1990 Addr: Corso Italia, 40 - 56125 Pisa -
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/danelutto/p3l_implementation.ps.Z, 19930913
HEWLETT PACKARD HPL{PSC{93{55 PISA SCIENCE CENTER HEWLETT-PACKARD LABORATORIES May 3, 1993 P 3L: a Structured High-level Parallel Language, and its Structured Support Bruno Bacci , Marco Daneluttoffi, Salvatore Orlandoffi, Susanna Pelagattiffi, Marco Vanneschiffi (ffi)Dipartimento di Informatica ( )Pisa
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/130bagof.ps.Z, 19931008
The Mathematics of Set Predicates in Prolog Egon B orger1 Dean Rosenzweig2 1 Dip. di Informatica, Universita di Pisa boerger@di.unipi.it 2 FSB, University of Zagreb dean@math.hr
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/danelutto/resources-tr3093.ps.Z, 19931203
RESOURCE OPTIMIZATION VIA STRUCTURED PARALLEL PROGRAMMING B. BACCI, M. DANELUTTO AND S. PELAGATTI December 3, 1993 Pisa Science Center Dipartimento di Informatica Department of Computer Science Hewlett Packard Laboratories Univ. di Pisa Univ. of Edinburgh Vicolo de' Ruschi, 2 Corso Italia, 40 King's
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/danelutto/p3l-intro-slides.ps.Z, 19931217
The Pisa Parallel Programming Language General framework Framework ffl massively parallel computing is a hard task" ffl efficiency & portability must be taken into account ffl performance prediction is (currently) a major problem ffl hard" problems come from scheduling, mapping, load balancing
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/danelutto/tr3593.ps.Z, 19931220
Automatic balancing of stream-parallel computations in P3L B. Bacci M. Daneluttoy S. Pelagattiz December 20, 1993
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/112pamrep.ps.Z, 19931221
A WAM extension for type-constraint logic programming: Specification and correctness proof Christoph Beierle Egon B orger IBM Germany, Scientific Center Dipartimento di Informatica Inst. for Knowledge Based Systems Universit a di Pisa P.O. Box 80 08 80 Corso Italia 40 D-7000 Stuttgart 80, Germany
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/121goedel.ps.Z, 19931221
Logic + Control revisited: an abstract interpreter for G odel programs Egon B orger Dip. di Informatica C.so Italia 40, I-56100 PISA boerger@di.unipi.it Elvinia Riccobene Dip. di Matematica V.le Andrea Doria 6, I-95125 CATANIA riccobene@mathct.cineca.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/120parlog.ps.Z, 19931221
A formal specification of PARLOG y Egon B orger Dip. di Informatica C.so Italia 40 I-56100 PISA boerger@di.unipi.it Elvinia Riccobene Dip. di Matematica V.le Andrea Doria 6 I-95125 CATANIA riccobene@mathct.cineca.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/9eaintro.ps.Z, 19931221
Anhang 2. Dynamische Algebren und Semantik von Prolog Egon B orger Dip. di Informatica Universita di Pisa C.so Italia 40 I-56100 PISA boerger@di.unipi.it Oktober 1991 1 Einf uhrung und Definition Wir stellen im folgenden den 1988 von Y. Gurevich eingef uhrten Begriff der dynamischen Algebra vor, der es
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/111pamcsl91.ps.Z, 19931222
Correctness proof for the WAM with types Christoph Beierle Egon B orger IBM Germany, Scientific Center Dipartimento di Informatica Inst. for Knowledge Based Systems Universit a di Pisa P.O. Box 80 08 80 Corso Italia 40 D-7000 Stuttgart 80, Germany I-56100 Pisa, Italia beierle@ds;lilog.bitnet
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/100prolog.ps.Z, 19940210
A Mathematical Definition of Full Prolog Egon B orger Dip. di Informatica Universita di Pisa Cso Italia 40 I-56100 Pisa boerger@di.unipi.it Dean Rosenzweig FSB University of Zagreb Salajeva 5 41000 Zagreb, Croatia dean@math.hr
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/brogi/PhDThesis.ps, 19940224
UNIVERSIT A DEGLI STUDI DI PISA DIPARTIMENTO DI INFORMATICA DOTTORATO DI RICERCA IN INFORMATICA Universit a di Pisa-Genova-Udine Ph.D. Thesis: TD-2/93 Program Construction in Computational Logic Antonio Brogi
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/ecoop94.ps.gz, 19940409
Customising Object Allocation Giuseppe Attardi and Tito Flagella Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, I-56125 Pisa, Italy net: fattardi,titog@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/usenix94.ps.gz, 19940409
A Customisable Memory Management Framework Giuseppe Attardi Tito Flagella y February 1994
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/300apeifip.ps.Z, 19940410
1 Towards a Mathematical Specification of the APE100 Architecture: The APESE Model Egon B orger a, Giuseppe Del Castillo a, Paola Glavan a, Dean Rosenzweig b aDipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy. boerger,delcasti,glavan@di.unipi.it bFSB, University of
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/110wam.ps.Z, 19940417
CHAPTER 1 The WAM|Definition and Compiler Correctness Egon B orger Dipartimento di Informatica, Universita di Pisa, Cso Italia 40, I-56100 Pisa Dean Rosenzweig FSB, University of Zagreb, Salajeva 5, 41000 Zagreb, Croatia Contents Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/02survey.ps.Z, 19940501
1 Logic Programming: The Evolving Algebra Approach Egon B orgera a Dip. di Informatica, Universit a di Pisa, Corso Italia 40, I-56125 PISA, boerger@di.unipi.it Keyword Codes: D.2.2; F.1.1; F.3.2 Keywords: Software Engineering, Tools and Techniques; Computation by Abstract Devices, Models of
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/danelutto/creta.ps.Z, 19940531
Consiglio Nazionale delle Ricerche Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo Sottoprogetto 3 { Architetture parallele Technical Report R/3/133 Parallel programming models based on the restricted computation structure approach M. Danelutto, S. Orlando, S. Pelagatti & M. Vanneschi
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/ECAI84.ps.gz, 19940610
Appeared in: ECAI-84: Advances in Arti cial Intelligence, Proceedings of 6th European Conference on Arti cial Intelligence,Pisa, September 1984, T.O'Shea (ed.), Elsevier Science Publishers, Amsterdam 1984. Metalanguage and Reasoning Across Viewpoints Giuseppe Attardi and Maria Simi Dipartimento di
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/SemanticsOmega.ps.gz, 19940613
Reprint from: M.I.T.AIMemo 642,January 1981. Semantics of Inheritance and Attributions in the Description System Omega Giuseppe Attardi and Maria Simi Dipartimento di Informatica Universita diPisa Corso Italia 40, I-56100 Pisa, Italy
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/danelutto/intro-p3l-poster.ps.Z, 19940707
Introduzione Specifica del problema Applicazione esistente Analisi del parallelismo Schema di applicazione parallela Implementazione Applicazione parallela Raffinamenti (performance, funzionalita') Macchina parallela Programmatore (esperto di applicazioni e parallelismo) Programmatore (esperto della
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/cignoni/DeWall.ps.Z, 19940711
A Merge{First Divide & Conquer Algorithm for Ed Delaunay Triangulations P. Cignoni , C. Montaniz, R. Scopigno z I.E.I. { Consiglio Nazionale delle Ricerche, Via S. Maria 46, 56126 Pisa, ITALY CNUCE { Consiglio Nazionale delle Ricerche , Via S. Maria 36, 56126 Pisa, ITALY E-mail: scopigno@cnuce.cnr.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/cignoni/ParaInCode.ps.Z, 19940711
Evaluation of Parallelization Strategies for an Incremental Delaunay Triangulator in E3 P. Cignoniy, D. Laforenzay, C. Montaniz, R. Peregoy, R. Scopignoy y CNUCE { Consiglio Nazionale delle Ricerche, Via S. Maria 36, 56126 Pisa, ITALY z I.E.I. { Consiglio Nazionale delle Ricerche, Via S. Maria 46, 56126
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/cignoni/MagicSphere.ps.Z, 19940711
MagicSphere: an insight tool for 3D data visualization P. Cignoniy, C. Montaniz, R. Scopigno y Dip. Scienze dell'Informazione { Universit a di Pisa, C.so Italia, 40 - 56100 Pisa ITALY Email: cignoni@cnuce.cnr.it z I.E.I. { Consiglio Nazionale delle Ricerche, Via S. Maria 46, 56126 Pisa, ITALY E-mail:
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/cignoni/SelectorACM.ps.Z, 19940801
Multiresolution Modeling and Visualization of Volume Data based on Simplicial Complexes Paolo Cignoni , Leila De Florianiy, Claudio Montaniz, Enrico Puppoffi, Roberto Scopigno Dipartimento di Scienze dell'Informazione - Universit a di Pisa, C.so Italia, 40 - 56100 Pisa ITALY - Email: cignoni@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ghelli/F-bounded.Term.ps, 19940805
Termination of system F-bounded (Note) Giorgio Ghelli1 1 Introduction System F-bounded is a second order lambda calculus with subtyping. It extends system F (see ) in that bounds of typed quantification may contain the bounded
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/331vhdl.ps.Z, 19940809
The Semantics of Behavioral VHDL'93 Descriptions Egon B orger Uwe Gl asser Wolfgang M uller Dipartimento di Informatica Heinz Nixdorf Institut Cadlab Universit a di Pisa Universit at-GH Paderborn Universit at-GH Paderborn I-56125 Pisa, Italy D-33098 Paderborn, Germany D-33102 Paderborn, Germany
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ghelli/DivergenceFsubTCS95.ps.gz, 19940810
Divergence of F type checking Giorgio Ghelli1
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ghelli/RecTypesTLCA93.ps.gz, 19940811
Recursive Types Are not Conservative over F (extended abstract) Giorgio Ghelli1
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/122babel.ps.Z, 19940817
1 A model for mathematical analysis of functional logic programs and their implementations Egon B orgera, Francisco J. L opez-Fraguas and Mario Rodr guez-Artalejo b y a Dip. di Informatica, Universit a di Pisa, Cso Italia 40, I-56100 PISA, boerger@di.unipi.it bDep. Inform atica y Autom atica,
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/9dijkstra.ps.Z, 19940817
Book Review E.W.Dijkstra, C.S.Scholten: Predicate Calculus and Program Semantics, Springer-Verlag 1989 Egon B orger Dip. di Informatica, Universit a di Pisa, boerger@di.unipi.it The book deals with a fascinating subject, indicated in its title: a theory of program semantics based on predicate logic.
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/123babtr.ps.Z, 19940817
Towards a Mathematical Specification of a Graph-Narrowing Machine Egon B orger Dip. di Informatica Universita di Pisa Cso Italia 40 I-56100 PISA boerger@di.unipi.it Francisco J. L opez-Fraguas Dep. Inform atica y Autom atica Universidad Complutense Av. Complutense s/n 28040 Madrid,Spain
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/320pvmifip.ps.Z, 19940817
1 A Formal Specification of the PVM Architecture Egon B orgera and Uwe Gl asserb aDipartimento di Informatica, Universit a di Pisa, Corso Italia, 40, 56125 Pisa, Italy, boerger@di.unipi.it bFB Mathematik-Informatik, Universit at-GH Paderborn, Warburgerstr. 100, 33098 Paderborn, Germany,
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/200bakery.ps.Z, 19940817
1 The Bakery Algorithm: Yet Another Specification and Verification Egon B orger Yuri Gurevichy Dean Rosenzweigz
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/9biblio.ps.Z, 19940818
Annotated Bibliography on Evolving Algebras Egon B orger 17.8.1994
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/310occam1.ps.Z, 19940818
489 Occam: Specification and Compiler Correctness Part I: The Primary Model Egon B orger a and Igor D- urd-anovi cb and Dean Rosenzweig c aDipartimento di Informatica, Universit a di Pisa, Cso Italia 40, I-56100 Pisa email: boerger@di.unipi.it bUniversity Paderborn, FB 17 { Informatik, Warburgerstr.
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/fundamenta.ps.gz, 19940913
A FORMALIZATION OF VIEWPOINTS Giuseppe ATTARDI and Maria SIMI Dipartimento di Informatica Universit a di Pisa Corso Italia 40, I-56125 Pisa, Italy attardi@di.unipi.it simi@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/pasco94.ps.gz, 19940913
Proceedings of PASCO'94 c 1994 by World Scientific Publishing Company A strategy-accurate parallel Buchberger algorithm Giuseppe Attardi Dipartimento di Informatica Corso Italia 2 - Pisa attardi@di.unipi.it Carlo Traverso Dipartimento di Matematica Via Buonarroti 2 - Pisa traverso@dm.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/KR94.ps.gz, 19940913
Proofs in context Giuseppe Attardi Dipartimento di Informatica Universit a di Pisa Corso Italia, 40 I-56125 Pisa, Italy Maria Simi Dipartimento di Informatica Universit a di Pisa
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/Meta94.ps.gz, 19940913
Building Proofs in Context Giuseppe Attardi and Maria Simi Dipartimento di Informatica Universit a di Pisa Corso Italia 40 I-56125 Pisa, Italy net: fattardi, simig@di.unipi.it.
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/LUV94.ps.gz, 19940913
The Embeddable Common Lisp Giuseppe Attardi Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, I-56125 Pisa, Italy net: attardi@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gabbrielli/gl91.ps.Z, 19940927
Modeling answer constraints in Constraint Logic Programs Maurizio Gabbrielli Giorgio Levi Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy e mail: gabbri(levi)@dipisa.di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gabbrielli/CS-R9408.ps.Z, 19940927
The s-semantics approach: theory and applications A. Bossi Dipartimento di Matematica Pura ed Applicata Universit a di Padova, Via Belzoni 7, 35131 Padova, Italy isa@zenone.unipd.it M. Gabbrielli1 CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands gabbri@cwi.nl G. Levi Dipartimento di Informatica
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gabbrielli/CS-R9417.ps.Z, 19940927
Centrum voor Wiskunde en InformaticaREPORTRAPPORTDeclarative Interpretations ReconsideredK.R. Apt, M. GabbrielliComputer Science/Department of Software TechnologyCS-R9417 1994 Declarative Interpretations Reconsidered Krzysztof R. Apt CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands and Faculty of
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gabbrielli/CS-R9363.ps.Z, 19940927
Differential Logic Programs: Semantics and Programming Methodologies A. Bossi M. Bugliesi Dipartimento di Matematica Pura ed Applicata Universit a di Padova, Via Belzoni 7, 35131 Padova, Italy fisa@zenone,michele@goedelg.unipd.it M. Gabbrielli CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/RISTORI/procomet/procomet.ps, 19941005
1 Modelling Concurrent Accesses to Shared Data via Petri Nets Nicoletta De Francescoa, Ugo Montanarib and Gioia Ristoric aDipartimento di Ingegneria dell'Informazione, via Diotisalvi 2, I-56100 Pisa e-mail:nico@iet.unipi.it bDipartimento di Informatica, Corso Italia 40, I-56100 Pisa e-mail:
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/danelutto/natug7.ps.Z, 19941104
to appear in the Proceedings of the 1994 Transputer Research and Applications Conference (NATUG 7) Unbalanced Computations onto a Transputer Grid B. Bacciffi, M. Daneluttoffi, S. Orlandoy, S. Pelagattiffi, & M. Vanneschiffi ffi Department of Computer Science University of Pisa { Corso Italia 40 { 56125
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/332vhdl93.ps.Z, 19941125
FORMAL DEFINITION OF AN
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/levi/AnPROprg.ps.gz, 19941213
Analysis of pure PROLOG programs Giorgio Levi Daniele Micciancio Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy levi@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/levi/ModAnExTer.ps.gz, 19941213
Models for the analysis of existential termination Giorgio Levi Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy levi@di.unipi.it Francesca Scozzari Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy scozzari@cli.di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/levi/FormMetaReal.ps.gz, 19941213
A formalization of metaprogramming for real Giorgio Levi Davide Ramundo Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy levi@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/levi/ModPROcoCLP.ps.gz, 19941219
Modelling PROLOG Control in Constraint Logic Languages Giorgio Levi Daniele Micciancioy November 14, 1994
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/Techniques4DSM.ps.gz, 19950104
Techniques for Dynamic Software Migration G. Attardi, I. Filotti, J. Marks June 88
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gadducci/papers/RTA.ps, 19950118
Relating Two Categorical Models of Term Rewriting A. Corradini, F. Gadducci and U. Montanari Universit a di Pisa, Dipartimento di Informatica, Corso Italia 40, 56125 Pisa, Italy (fandrea,gadducci,ugog@di.unipi.it, Tel: +39-50-887268, Fax: +39-50-887266)
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/levi/ssemjlp.ps.gz, 19950201
The s-semantics approach: theory and applications Annalisa Bossi1 Maurizio Gabbrielli2 Giorgio Levi2 Maurizio Martelli3
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ghelli/ClassAssocVLDB91.ps.gz, 19950207
A Relationship Mechanism data models, which favour the efficient use of secondary memory at the expense of expressiveness, and the for a Strongly Typed programming languages, which are unsuitable for the growing complexity of the applications due to the scarce Object-Oriented Database integration of the
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/brogi/BLMM95.ps, 19950308
23. T.C. Przymusinski. Extended Stable Semantics for Normal and Disjunctive Programs. In D.H.D. Warren and P. Szeredi, editors, Proc. 7th Int. Conf. on Logic Programming, pages 459{477. The MIT Press, 1990. 24. T.C. Przymusinski. Semantics of Disjunctive Logic Programs and Deductive Databases. In Proc.
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/brogi/BT95.ps, 19950313
110 Bibliography P. Mancarella and D. Pedreschi. An algebra of logic programs. In R. A. Kowalski and K. A. Bowen, editors, Proceedings Fifth International Conference on Logic Programming, pages 1006023. The MIT Press, 1988. L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press,
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/brogi/BC95.ps, 19950313
194 Bibliography P. Mancarella and D. Pedreschi. An algebra of logic programs. In R. A. Kowalski and K. A. Bowen, editors, Proceedings Fifth International Conference on Logic Programming, pages 1006023. The MIT Press, 1988. L. Monteiro and A. Porto. Contextual logic programming. In G.
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giani/ep95.ps.Z, 19950317
PANIC: A Parallel Evolutionary Rule Based System Antonella Giani, Fabrizio Baiardi, Antonina Starita
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gadducci/papers/AMAST.ps, 19950321
CPO models for infinite term rewriting Andrea Corradini and Fabio Gadducci Universit a di Pisa, Dipartimento di Informatica, Corso Italia 40, 56125 Pisa, Italy (fandrea,gadduccig@di.unipi.it)
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/AIHENP95.ps.gz, 19950411
fc World Scientific Publishing Company The PoSSo Library for Polynomial System Solving GIUSEPPE ATTARDI Dipartimento di Informatica, Universit a di Pisa, corso Italia 40 I-56125 Pisa, Italy and CARLO TRAVERSO Dipartimento di Matematica, Universti a di Pisa, via F. Buonarroti 2 I-56123 Pisa, Italy
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ciuffoletti/dagstuhl/diffsn.ps, 19950420
Using simple diffusion to synchronize the clocks in a distributed system. Augusto Ciuffoletti Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa (Italy)
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ciuffoletti/EuMiRT6.ps.gz, 19950420
Clock Synchronization in Virtual Rings Augusto Ciuffoletti Federica Gattai Roberta Golinelli Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56100 Pisa (Italy)
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ghelli/FibonacciVLDBJ.ps, 19950502
An Introduction to Fibonacci: A Programming Language for Object Databases 1 A. Albano, G. Ghelli, R. Orsini2 Dipartimento di Informatica Universit di Pisa Corso Italia 40 56125 Pisa Italy e-mail: albano, ghelli, orsini@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/cignoni/ProjVolRend.ps.Z, 19950503
On the Optimization of Projective Volume Rendering P. Cignoniy, C. Montaniz, D. Sartiz, R. Scopigno y Dip. Scienze dell'Informazione { Univ. Pisa, C.so Italia, 40 - 56100 Pisa ITALY Email: cignoni@cnuce.cnr.it z I.E.I. { C.N.R., Via S. Maria 46, 56126 Pisa, ITALY E-mail: montani@iei.pi.cnr.it CNUCE {
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/brogi/BT95a.ps, 19950508
Fully Abstract Compositional Semantics for an Algebra of Logic Programs Antonio Brogi and Franco Turini Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy fbrogi,turinig@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/brogi/BMPT94.ps, 19950508
Modular Logic Programming ANTONIO BROGI, PAOLOMANCARELLA, DINO PEDRESCHI and FRANCO TURINI Dipartimento di Informatica, Universit a di Pisa, Italy Modularity is a key issue in the design of modern programming languages. When designing modular features for declarative languages in general, and for logic
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/amast93.ps.gz, 19950510
Joining Abstract and Concrete Computations in Constraint Logic Programming Roberto Giacobazzi and Giorgio Levi Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy fgiaco,levig@di.unipi.it Saumya K. Debray Department of Computer Science, The University of Arizona Tucson,
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/fgcs92.ps.gz, 19950510
A Generalized Semantics for Constraint Logic Programs Roberto Giacobazzi1, Saumya K. Debray2, Giorgio Levi1 1) Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa fgiaco,levig@di.unipi.it 2) Department of Computer Science The University of Arizona Tucson, AZ 85721
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/esop92.ps.gz, 19950510
Detecting Determinate Computations by Bottom-up Abstract Interpretation Roberto Giacobazzi , Laura Ricci Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa fgiaco,riccig@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ghelli/OverloadingOOPSLA91.ps.gz, 19950510
A Static Type System 1. Introduction Object-oriented languages are based on the notions for Message Passing of objects, classes, messages/methods and inheritance. objects are entities with a record-like state, collected in classes. A class plays both the r le of an Giorgio Ghelli Abstract Data Type
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/alp92.ps.gz, 19950510
Oracle Semantics for Prolog Roberto Barbuti1, Michael Codish2, Roberto Giacobazzi1, Michael Maher3 1 Dipartimento di Informatica Universit a di Pisa, I-56125 Pisa fbarbuti,giacog@di.unipi.it 2 Department of Computer Science Katholieke Universiteit Leuven, B-3001 Leuven codish@cs.kuleuven.ac.be 3 IBM
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/caia93.ps.gz, 19950510
An Application of Constraint Propagation to Data-Flow Analysis Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa fbagnara,giaco,levig@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/sac94filter.ps.gz, 19950510
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/gulp91.ps.gz, 19950510
The Unfolding Semantics for Constraint Logic Programs Roberto Giacobazzi Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa giaco@dipisa.di.unipi.it 1 Introduction Pure logic programming is based on the unification algorithm on the Herbrand universe. The unification of a set of
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/ilps94.ps.gz, 19950510
Abductive Analysis of Modular Logic Programs Roberto Giacobazzi LIX, Laboratoire d'Informatique Ecole Polytechnique 91128 Palaiseau cedex (France) E-mail: giaco@lix.polytechnique.fr
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/popl92.ps.gz, 19950510
Modelling Prolog Control Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa (barbuti,codish,giaco,levi)@dipisa.di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/ic-oracle.ps.gz, 19950510
Oracle Semantics for Prolog Roberto Barbuti Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, I-56125 Pisa, Italy barbuti@di.unipi.it Michael Codish Department of Mathematics & Computer Science Ben-Gurion University of the Negev P.O. Box 653, Beer-Sheba, Israel codish@bengus.bgu.ac.il
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/gulp93.ps.gz, 19950510
Modular Logic Programs over Finite Domains Maurizio Gabbrielli CWI, P.O. Box 4079, 1009 AB Amsterdam, The Netherlands. gabbri@cwi.nl Roberto Giacobazzi Danilo Montesi Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa Italy (giaco,montesi)@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/clp-jlp.ps.gz, 19950510
J. LOGIC PROGRAMMING 1993:12:1{199 1 GENERALIZED SEMANTICS AND
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/popl93.ps.gz, 19950510
Compositional Analysis of Modular Logic Programs Michael Codish Saumya K. Debrayz Roberto Giacobazzix
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/toplas15.ps.gz, 19950510
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs Roberto Barbuti , Roberto Giacobazzi , Giorgio Levi Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa fbarbuti,giaco,levig@di.unipi.it in ACM Transactions on Programming Languages and
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/jlc3.ps.gz, 19950510
Modelling Prolog Control Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa (barbuti,codish,giaco,levi)@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/scp19.ps.gz, 19950510
A Bottom-up Polymorphic Type Inference in Logic Programming Roberto Barbuti , Roberto Giacobazzi Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa fbarbuti,giacog@di.unipi.it May 10, 1995
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/sac94call.ps.gz, 19950510
Goal independency and call patterns in the analysis of logic programs Maurizio Gabbrielli CWI Roberto Giacobazzi Ecole Polytechnique
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ciuffoletti/didattica/derivaz.ps.gz, 19950516
1 1 Derivazione di programmi dalle specifiche Tempi: 23-24 Marzo 1995 (2+1 h.) L'esercitazione vuole mostrare come un programma possa essere scritto guidati dalla sua specifica formale, con un procedimento che, attraverso raffinamenti successivi, arriva alla forma finale. Del programma che si deve
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/plilp94.ps.gz, 19950516
Abstracting Synchronization in Concurrent Constraint Programming Enea Zaffanella1 Roberto Giacobazzi2 Giorgio Levi1 1 Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, 56125 Pisa (zaffanel,levi)@di.unipi.it 2 LIX, Laboratoire d'Informatique, Ecole Polytechnique 91128 Palaiseau cedex
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ciuffoletti/didattica/pipes.ps.gz, 19950518
Appunti sulla comunicazione tra processi in Unix usando pipe e socket Augusto Ciuffoletti May 18, 1995 In questa parte del corso sono stati presentati esercizi 1 specifici su alcuni strumenti per la comunicazione tra processi in Unix: pipes e, successivamente, sockets. Per inquadrare il significato
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ghelli/OverloadingIAC95.ps.gz, 19950518
A Calculus for Overloaded Functions with Subtyping Giuseppe Castagna y LIENS(CNRS)-DMI 45 rue d'Ulm, Paris, FRANCE e-mail: castagna@dmi.ens.fr Giorgio Ghelli z Dipartimento d'Informatica Corso Italia 40, Pisa, ITALY e-mail: ghelli@di.unipi.it Giuseppe Longo x LIENS(CNRS)-DMI 45 rue d'Ulm, Paris, FRANCE
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/IWMM95.ps.gz, 19950612
Performance Tuning in a Customizable Collector Giuseppe Attardi, Tito Flagella and Pietro Iglio Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, I-56125 Pisa, Italy net: fattardi, tito, igliog@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/somedia.ps, 19950614
L'economia di Internet: chi paga cosa, e perch e Giuseppe Attardi Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, I-56125 Pisa net: attardi@di.unipi.it Lucio Picci Dipartimento di Scienze Economiche, Universit a di Bologna Strada Maggiore 45, I-40125 Bologna net: lpicci@spfo.unibo.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giani/icgaws.ps.Z, 19950614
Improving Learning through Rule Cooperation in Parallel Classifier Systems F.Baiardi, P.Gambini, A.Giani, A.Starita Dip. di Informatica, Universit di Pisa email: {baiardi, gambini, giani, starita}@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ghelli/ObjRolesVLDB93.ps.gz, 19950615
of a database application is how to manage changes. We share completely the opinion of Richardson and Schwarz AN OBJECT DATA MODEL expressed in : Most object-oriented database systems display serious shortcoming in their ability to model both WITH ROLES 1 the dynamic nature and the many-faceted
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gadducci/papers/LICS.ps, 19950615
Modal -Types for Processes Marino Miculan Dipartimento di Informatica { Universit a di Udine Via delle Scienze, 206 { I-33100 Udine { Italy E-mail: miculan@dimi.uniud.it Fabio Gadducci Dipartimento di Informatica { Universit a di Pisa Corso Italia, 40 { I-56100 Pisa { Italy E-mail: gadducci@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/dynamic-full-FI.ps.gz, 19950629
Fundamenta Informaticae, vol. 16, n. 2, 1992 DYNAMIC CONGRUENCE vs. PROGRESSING BISIMULATION for CCS Ugo Montanari and Vladimiro Sassone Dipartimento di Informatica { Universit a di Pisa Corso Italia 40 - 56125 - Pisa - Italy E-MAIL:fugo,vladig@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/net-unfolding-concur92.ps.gz, 19950629
In Proceedings of CONCUR `92, LNCS 630, Springer-Verlag, 1992 On the Semantics of Petri Nets Jos e Meseguer y Ugo Montanari z Vladimiro Sassone z y SRI International, Menlo Park, California 94025 z Dipartimento di Informatica { Universit a di Pisa, Italy
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/proc-vs-unf-petri94.ps.gz, 19950629
In 15th Int. Conf. on Application and Theory of Petri Nets, LNCS n. 815 On the Model of Computation of Place/Transition Petri Nets Jos e Meseguer Ugo Montanari Vladimiro Sassone SRI International, Menlo Park, CA 94025, USA Dipartimento di Informatica, Universit a di Pisa, Italy
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/str-conc-proc-full.ps.gz, 19950629
An Approach to the Category of Petri Net Computations Vladimiro Sassone BRICS { Computer Science Dept., University of Aarhus
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/dynamic-mfcs91.ps.gz, 19950629
In proceedings of MFCS `91, LNCS 520, Springer-Verlag, 1991 CCS DYNAMIC BISIMULATION is PROGRESSING Ugo Montanari and Vladimiro Sassone Dipartimento di Informatica { Universit a di Pisa Corso Italia 40 - 56100 - Pisa - Italy E-MAIL:fugo,vladig@dipisa.di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/rel-models-rex93.ps.gz, 19950629
In REX '93: A Decade of Concurrency, LNCS 803, Springer-Verlag, 1994 Relationships between Models of Concurrency Mogens Nielsen Vladimiro Sassone d Glynn Winskel Computer Science Department, Aarhus University, Denmark Dipartimento di Informatica, Universit a di Pisa, Italy
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/PofN-full-tcs.ps.gz, 19950707
To appear in Theoretical Computer Science An Axiomatization of the Algebra of Petri Net Concatenable Processes Vladimiro Sassone BRICS* { Computer Science Dept., University of Aarhus
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/danelutto/ieee.ps.gz, 19950707
IEEE CompEuro 91 { Advanced Computer Technology, Reliable Systems and Applications { Bologna, May 13{16, 1991 Architectural models and design methodologies for general-purpose highly-parallel computers Fabrizio Baiardi ffi , Marco Danelutto ffi , Mehdi Jazayeri , Susanna Pelagatti ffi , Marco Vanneschi
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/danelutto/florence.ps.gz, 19950707
A methodology for the development and the support of massively parallel programs Marco Daneluttoab, Roberto Di Meglioa, Salvatore Orlandoab, Susanna Pelagattia, Marco Vanneschia aDipartimento di Informatica, Universit a di Pisa, Corso Italia 40, Pisa { Italy bPisa Science Center, Hewlett Packard
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/str-conc-proc-tapsoft95.ps.gz, 19950720
Proceedings of TAPSOFT 95, LNCS n. 915 On the Category of Petri Net Computations In Memory and Dedication to my Beloved mother Liana Vladimiro Sassone BRICS { Computer Science Dept., University of Aarhus
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/detmodels-mfcs93.ps.gz, 19950720
In proceedings of MFCS `93, LNCS n. 711, 1993 Deterministic Behavioural Models for Concurrency Vladimiro Sassone Mogens Nielsen Glynn Winskel Dipartimento di Informatica, Universit a di Pisa, Italy Computer Science Department, Aarhus University, Denmark Extended Abstract This paper offers three
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/thecube-concur93.ps.gz, 19950720
In proceedings of CONCUR '93, LNCS n. 715 ,1993 A Classification of Models for Concurrency Vladimiro Sassone Mogens Nielsen Glynn Winskel Dipartimento di Informatica, Universit a di Pisa, Italy Computer Science Department, Aarhus University, Denmark Extended Abstract Models for concurrency can be
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/sas95.ps.gz, 19950729
Complementation in Abstract Interpretation Agostino Cortesi Gilberto Fil e Roberto Giacobazzi Catuscia Palamidessiy Francesco Ranzatoz Abstract. The reduced product of abstract domains is a rather well known operation in abstract interpretation. In this paper we study the inverse operation, which we
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/thecube-full-tcs.ps.gz, 19950819
Models for Concurrency: Towards a Classification Vladimiro Sassone , Mogens Nielsen, Glynn Winskel BRICS* { Computer Science Dept., University of Aarhus
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/ilps95.ps.gz, 19950827
Functional Dependencies and Moore-Set Completions of
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/321pvmTR.ps.Z, 19950903
Modelling and Analysis of Distributed and Reactive Systems using Evolving Algebras Egon B orger Dipartimento di Informatica Universit a di Pisa 56125 Pisa, Italy boerger@di.unipi.it Uwe Gl asser Heinz Nixdorf Institut Universit at-GH Paderborn 33098 Paderborn, Germany glaesser@uni-paderborn.de July 19,
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/301apeTR.ps.Z, 19950903
A formal method for provably correct composition of a real-life processor out of basic components (The APE100 Reverse Engineering Study) Egon B orger Dipartimento di Informatica Universit a di Pisa Corso Italia 40 56125 Pisa, Italy E-Mail: boerger@di.unipi.it Fax: ++39 50 887226 Giuseppe Del Castillo
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/113clam.ps.Z, 19950903
CLAM Specification for Provably Correct Compilation of CLP(R) Programs Egon B orger and Rosario F. Salamone
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gabbrielli/eg-tcs95.ps.gz, 19950918
Transformations of CLP Modules Sandro Etalle D.I.S.I, Universit a di Genova Via Dodecaneso, 35, 16146 Genova, Italy sandro@disi.unige.it Maurizio Gabbrielli Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy gabbri@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gabbrielli/glm94_ic.ps.gz, 19950919
Observable Behaviors and Equivalences of Logic Programs Maurizio Gabbrielli 1;2 Giorgio Levi 1 Maria Chiara Meo 1 1 Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy, fgabbri,levi,meog@di.unipi.it 2 CWI Kruislaan 413, 1098 SJ Amsterdam, The Netherlands gabbri@cwi.nl
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/PofN-fct95.ps.gz, 19950919
Proceedings of FCT `95, LNCS n. 965 Axiomatizing Petri Net Concatenable Processes Vladimiro Sassone BRICS* { Computer Science Dept., University of Aarhus
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/beh-cong-nets-concur95.ps.gz, 19950919
In Proceedings of CONCUR 95, LNCS n. 962 Characterizing Behavioural Congruences for Petri Nets Mogens Nielsen , Lutz Priese , Vladimiro Sassone ; *BRICS { University of Aarhus, **University of Koblenz
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gabbrielli/glm95-res.ps.gz, 19950919
Resultants Semantics for Prolog Maurizio Gabbrielli Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy Email: gabbri@di.unipi.it Giorgio Levi Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy Email: levi@di.unipi.it Maria Chiara Meo
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gabbrielli/gdl94.ps.gz, 19950919
Observable Semantics for Constraint Logic Programs Maurizio Gabbrielli Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy Email: gabbri@di.unipi.it Giovanna M. Dore DS Logics Viale Silvani 1, 40122 Bologna, Italy Email: dore@bologics.dslogics.it Giorgio Levi Dipartimento
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/311transp.ps.Z, 19951001
Correctness of compiling Occam to Transputer code Egon B orger & Igor D - urd- anovi c Dipartimento di Informatica University Paderborn Universit a di Pisa Fachbereich 17 { Informatik Cso Italia 40 Warburgerstr. 100 I-56125 Pisa 33098 Paderborn, Germany boerger@di.unipi.it igor@uni-paderborn.de fax:
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/boerger/011intro.ps.Z, 19951001
Why Use Evolving Algebras for Hardware and Software Engineering Egon B orger Universit a di Pisa, Dipartimento di Informatica, Corso Italia 40, I-56125 Pisa, Italy
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/jolli.ps.gz, 19951004
Communication across Viewpoints Giuseppe Attardi Maria Simi Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, I-56125 Pisa, Italy Net: attardi@di.unipi.it, simi@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/AAAI95.ps.gz, 19951004
Beppe had a dream Giuseppe Attardi Maria Simi Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, I-56125 Pisa, Italy. Net: attardi@di.unipi.it, simi@di.unipi.it September 18, 1995
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gabbrielli/jlp96.ps.gz, 19951103
J. LOGIC PROGRAMMING 199 1 A CLOSER LOOK AT DECLARATIVE INTERPRETATIONS KRZYSZTOF R. APT, MAURIZIO GABBRIELLI, AND DINO PEDRESCHI Three semantics have been proposed as the most promising candidates for a declarative interpretation for logic programs and pure Prolog programs: the least Herbrand model,
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gabbrielli/ilps95.ps.gz, 19951104
Modelling Real-Time in Concurrent Constraint Programming Frank S. de Boer Department of Computer Science Universiteit Utrecht Padualaan 14, De Uithof 3584 CH Utrecht, The Netherlands frankb@cs.ruu.nl Maurizio Gabbrielli Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/pseudo.ps.gz, 19951117
Ecole Polytechnique LIX Weak Relative Pseudo-Complements of Closure Operators Roberto Giacobazzi Catuscia Palamidessi Francesco Ranzato LIX/RR/95/04 Laboratoire d'Informatique Unit e CNRS n. 1439 Technical Report LIX/RR/95/04 1 Weak Relative Pseudo-Complements of Closure Operators Roberto Giacobazzi
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/stacs96.ps.gz, 19951124
Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics Roberto Giacobazzi Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy giaco@di.unipi.it Abstract. In this paper we apply abstract interpretation to systematically derive, compose and
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/proc-vs-unf-full-tcs.ps.gz, 19951204
Theoretical Computer Science, n. 153, pp. 171--210, 1996 Process versus Unfolding Semantics for Place/Transition Petri Nets Jos e Meseguer Ugo Montanari Vladimiro Sassone ; SRI International, Menlo Park, CA 94025, USA Dipartimento di Informatica, Universit a di Pisa, Italy BRICSy { Comp. Sc. Dept.,
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/brogi/BG96.ps, 19951205
Pruning the Search Space of Logic Programs Antonio Brogi and Cosimo Guarino Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy fbrogi,guarinog@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/esop96.ps.gz, 19960118
Compositional Optimization of Disjunctive Abstract Interpretations Roberto Giacobazzi Francesco Ranzato Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy giaco@di.unipi.it Dipartimento di Matematica Pura ed Applicata, Universit a di Padova Via Belzoni 7, 35131 Padova,
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ferrari/rstc.ps.gz, 19960130
On Reduction Semantics for Timed Calculi GianLuigi Ferrari Dipartimento di Informatica Universit a di Pisa Corso Italia 40, Pisa Italy email: giangi@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ferrari/dm.ps.gz, 19960130
Dynamic Matrices GianLuigi Ferrari Ugo Montanari Dipartimento di Informatica, Universit a di Pisa fgiangi,ugog@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ferrari/amast95.ps.gz, 19960130
Dynamic Matrices and the Cost Analysis of Concurrent Programs GianLuigi Ferrari Ugo Montanari Dipartimento di Informatica, Universit a di Pisa fgiangi,ugog@di.unipi.it To Appear Proc. AMAST'95, LNCS 1995
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ferrari/ictcs95.ps.gz, 19960130
Towards a Semantic-Based Verification Environment for the ss-calculus GianLuigi Ferrari Gianfranco Modoni Paola Quaglia Dipartimento di Informatica, Universit a di Pisa
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ferrari/sts.ps.gz, 19960130
Math. Struct. in Comp. Science (1996), vol. , pp. 1{000 Copyright c Cambridge University Press Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizationsy G I ANLU I G I FERRAR I1, UGO MONTANAR I1 and M I RANDA MOWBRAY2 1 Dipartimento di Informatica,
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/survey.ps.gz, 19960216
A Unifying View on Abstract Domain Design Gilberto Fil e Roberto Giacobazzi Francesco Ranzato Dipartimento di Matematica Pura ed Applicata, Universit a di Padova Via Belzoni 7, 35131 Padova, Italy fgilberto,franzg@hilbert.math.unipd.it Dipartimento di Informatica, Universit a di Pisa Corso Italia 40,
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/net-unfolding-full-mscs.ps.gz, 19960222
To appear in Mathematical Structures in Computer Science On the Semantics of Place/Transition Petri Nets Jos e Meseguer , Ugo Montanari , Vladimiro Sassone * SRI International, Menlo Park, California 94025 ** Dipartimento di Informatica, Universit a di Pisa, Italy
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/au.ps.gz, 19960305
Weak Relative Pseudo-Complements of Closure Operators Roberto Giacobazzi Catuscia Palamidessi Francesco Ranzato Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy giaco@di.unipi.it Dipartimento di Informatica, Universit a di Genova Via Dodecaneso 35, 16146 Genova, Italy
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/dipierro/esop.ps, 19960306
A Logical Denotational Semantics for Constraint Logic Programming Alessandra Di Pierro and Catuscia Palamidessi
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/dipierro/tcs.ps, 19960307
Nondeterminism and infinite computations in constraint programming Frank S. de Boer , Alessandra Di Pierroy, and Catuscia Palamidessiz
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/dipierro/phd.ps, 19960307
UNIVERSIT A DEGLI STUDI DI PISA DIPARTIMENTO DI INFORMATICA DOTTORATO DI RICERCA IN INFORMATICA Universit a di Pisa-Genova-Udine Ph.D. Thesis: TD-3/94 Negation and Infinite Computations in Logic Programming Alessandra Di Pierro
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/dipierro/IC.ps, 19960307
Negation as Instantiation Alessandra Di Pierro1, Maurizio Martelli2, Catuscia Palamidessi2 1Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy 2Dipartimento di Informatica e Scienze dell'Informazione, Universit a di Genova, via Benedetto XV 3, 16132 Genova, Italy 1 1
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ciuffoletti/dagsthul/probab.ps, 19960320
Implementing a probabilistic clock synchronization algorithm Gianluigi Alari Augusto Ciuffoletti y December 12, 1995
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/guglielmi/nabla.ps.gz, 19960410
A Linear Logic View of Gamma Style Computations as Proof Searches Paola Bruscoli Universit a di Ancona, Istituto di Informatica, via Brecce Bianche, 60131 Ancona, Italy and GMD-FIRST, Rudower Chaussee 5, 12489 Berlin-Adlershof, Germany e-mail: paola@di.unipi.it http://www.di.unipi.it/~paola fax: +39
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/guglielmi/thesis.ps.gz, 19960410
Universit a degli Studi di Pisa Dipartimento di Informatica Dottorato di Ricerca in Informatica Universit a di Pisa, Genova e Udine
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/guglielmi/smr.ps.gz, 19960410
Sequentiality by Linear Implication and Universal Quantification Alessio Guglielmi Universit a di Pisa, Dipartimento di Informatica, Corso Italia 40, 56125 Pisa, Italy e-mail: guglielm@di.unipi.it web: http://www.di.unipi.it/~guglielm fax: +39 (50) 887 226
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bruscoli/forum.ps.gz, 19960410
31 Jul 1994 4:03 p.m. Accepted for presentation at GULP-PRODE '94. Available by anonymous ftp from ftp.di.unipi.it. Expressiveness of the abstract logic programming language Forum in planning and concurrency Paola Bruscoli Universit a di Ancona, Istituto di Informatica, via delle Brecce Bianche, 60131
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/guglielmi/seqop.ps.gz, 19960410
Revised: 3 Jul 1994 9:20 p.m. appeared in: P. Van Hentenryck, editor, Logic Programming, Eleventh International Conference, pages 240{254, The MIT Press, 1994. Available by anonymous ftp from ftp.di.unipi.it. Concurrency and plan generation in a logic programming language with a sequential operator
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/dipierro/jlc.ps, 19960419
An algebraic perspective of constraint logic programming Frank S. de Boeryand Alessandra Di Pierrozand Catuscia Palamidessix
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/hdts-lics96.ps.gz, 19960507
To appear in Proceedings of LICS'96 Higher Dimensional Transition Systems Gian Luca Cattani BRICS* Computer Science Dept., University of Aarhus, Denmark cattani@brics.dk Vladimiro Sassone Dipartimento di Informatica Universit OEa di Pisa, Italy vs@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/tsi-ats-concur96.ps.gz, 19960507
To appear in Proceedings of CONCUR'96 Comparing Transition Systems with Independence and Asynchronous Transition Systems Thomas T. Hildebrandt Vladimiro Sassone ; * BRICS { Computer Science Dept., University of Aarhus Dipartimento di Informatica, Universit a di Pisa
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gabbrielli/scp96.ps.gz, 19960509
Differential Logic Programs: Programming Methodologies and Semantics A. Bossi Dipartimento di Matematica Universit a della Calabria 87036 Arcavacata di Rende (CS), Italy isa@euler.math.unipd.it M. Bugliesi Dipartimento di Matematica Pura ed Applicata Universit a di Padova via Belzoni 7, 35131 Padova,
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gabbrielli/popl94.ps.gz, 19960509
Proving Concurrent Constraint Programs Correct Frank S. de Boery Free University Maurizio Gabbrielliz CWI Elena Marchiorix CWI Catuscia Palamidessi{ DISI
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gabbrielli/lics93.ps.gz, 19960509
Compositional Analysis for Concurrent Constraint Programming Moreno Falaschiy Maurizio Gabbrielliz Kim Marriottx Catuscia Palamidessi{
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/SCP96-600DPI.ps.gz, 19960510
A hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages Roberto Bagnara Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/SCP96-300DPI.ps.gz, 19960510
A hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages Roberto Bagnara Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/HPEUC93.ps.gz, 19960517
Proc. of HP European Users Conference, Brighton 1993 Heterogeneous Distributed Computing in Practice Giuseppe Attardi Tito Flagella Luca Francesconi Stefano Suin Dipartimento di Informatica Corso Italia 40 I-56125 Pisa, Italy net: admin@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/comini/AlgTheoObs/AlgTheoObs94.ps.gz, 19960530
n f g T g T T n T g n g p r
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/comini/AbsDebLogPrgm/AbsDebLogPrgm94.ps.gz, 19960530
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/comini/EffDetIncErr/EffDetIncErr95.ps.gz, 19960530
Efficient Detection of Incompleteness Errors in the
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/comini/CompSLDderiv/CompSLDderiv95.ps.gz, 19960530
Compositionality in SLD-derivations and their abstractions Marco Comini, Giorgio Levi and Maria Chiara Meo Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy fcomini, levi, meog@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/comini/AndCompCLP/AndCompCLP96.ps.gz, 19960530
The AND-compositionality of CLP computed answer constraints. Roberto Bagnara, Marco Comini, Francesca Scozzari and Enea Zaffanella Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy fbagnara;comini;scozzari;zaffanelg@di:unipi:it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/comini/DecDiagRev/DecDiagRev95.ps.gz, 19960530
Declarative diagnosis revisited Marco Comini, Giorgio Levi Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy fcomini,levig@di.unipi.it Giuliana Vitiello Dipartimento di Informatica ed Applicazioni, Universit a di Salerno, Baronissi (Salerno), Italy
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/GULP95-300DPI.ps.gz, 19960606
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages Roberto Bagnara Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa bagnara@di.unipi.it Phone: 050/887267 Fax: 050/887226
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/IEEE_CAIA93-300DPI.ps.gz, 19960606
An Application of Constraint Propagation to Data-Flow Analysis Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa fbagnara,giaco,levig@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/SIREV-300DPI.ps.gz, 19960606
SIAM REVIEW. c 1995 Society for Industrial and Applied Mathematics Vol. 37, No. 1, pp. 93{97, March 1995 008 A UNIFIED PROOF FOR THE CONVERGENCE OF JACOBI AND GAUSS-SEIDEL METHODS * ROBERTO BAGNARAy
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/GULP95-600DPI.ps.gz, 19960606
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages Roberto Bagnara Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa bagnara@di.unipi.it Phone: 050/887267 Fax: 050/887226
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/IEEE_CAIA93-600DPI.ps.gz, 19960606
An Application of Constraint Propagation to Data-Flow Analysis Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa fbagnara,giaco,levig@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/GULP94-600DPI.ps.gz, 19960606
On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs Roberto Bagnara Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy. EMail: bagnara@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/WSA92-600DPI.ps.gz, 19960606
Bigre n 81-82 | September 1992 { Workshop on Static Analysis 92 { WSA92 Static Analysis of CLP Programs over Numeric Domains Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa fbagnara,giaco,levig@di.unipi.it Extended Abstract
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/GULP96-300DPI.ps.gz, 19960606
Straight ROBDDS are not the Best for Pos Roberto Bagnara (bagnara@di.unipi.it) Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy 1 Introduction The subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/MSCthesis-600DPI.ps.gz, 19960606
UNIVERSIT A DEGLI STUDI DI PISA Facolt a di Scienze Matematiche Fisiche e Naturali Corso di Laurea in Scienze dell'Informazione Tesi di Laurea Interpretazione astratta di linguaggi logici con vincoli su domini finiti Candidato: Roberto Bagnara Relatore: Controrelatore: Prof. Giogio Levi Prof. Ugo
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/WSA92-300DPI.ps.gz, 19960606
Bigre n 81-82 | September 1992 { Workshop on Static Analysis 92 { WSA92 Static Analysis of CLP Programs over Numeric Domains Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa fbagnara,giaco,levig@di.unipi.it Extended Abstract
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/GULP94-300DPI.ps.gz, 19960606
On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs Roberto Bagnara Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy. EMail: bagnara@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/MSCthesis-300DPI.ps.gz, 19960606
UNIVERSIT A DEGLI STUDI DI PISA Facolt a di Scienze Matematiche Fisiche e Naturali Corso di Laurea in Scienze dell'Informazione Tesi di Laurea Interpretazione astratta di linguaggi logici con vincoli su domini finiti Candidato: Roberto Bagnara Relatore: Controrelatore: Prof. Giogio Levi Prof. Ugo
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/GULP96-600DPI.ps.gz, 19960606
Straight ROBDDS are not the Best for Pos Roberto Bagnara (bagnara@di.unipi.it) Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy 1 Introduction The subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/SIREV-600DPI.ps.gz, 19960606
SIAM REVIEW. c 1995 Society for Industrial and Applied Mathematics Vol. 37, No. 1, pp. 93{97, March 1995 008 A UNIFIED PROOF FOR THE CONVERGENCE OF JACOBI AND GAUSS-SEIDEL METHODS * ROBERTO BAGNARAy
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/JSC.ps.gz, 19960611
J. Symbolic Computation (1996) 21, 1{20 Memory Management in the PoSSo Solver y GIUSEPPE ATTARDI AND TITO FLAGELLA Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, I-56125 Pisa, Italy email: fattardi,titog@di.unipi.it (Received 27 October 1994) A uniform general purpose garbage
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/brogi/TR-96-20.ps, 19960624
Universit a di Pisa Dipartimento di Informatica Technical Report : TR-96-20 A Program Specialiser for Meta-level Compositions of Logic Programs Antonio Brogi, Simone Contiero May 24, 1996 ADDR: Corso Italia 40,56125 Pisa,Italy. TEL: +39-50-887111. FAX: +39-50-887226 A Program Specialiser for Meta-level
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/KR91.ps.gz, 19960625
Appears in: Allen, J. A., Fikes, R., and Sandewall, E. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference. San Mateo, CA: Morgan Kaufmann, 1991. Reflections about Reflection Giuseppe Attardi Dipartimento di Informatica Universit di Pisa Corso
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/dipierro/gulp96.ps, 19960628
On Quantified Negative Queries Alessandra Di Pierro Dipartimento di Matematica e Informatica, Universit a di Udine, Via delle Scienze 206, 33100 Udine, Italy dipierro@dimi:uniud:it W lodzimierz Drabent IPIPAN, Polish Academy of Sciences, Ordona 21, Pl { 01-237 Warszawa, Poland wdr@ipipan:waw:pl
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/comini/CompPropSLD/CompPropSLD96.ps.gz, 19960704
Compositionality properties of SLD-derivations Marco Comini Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy comini@di:unipi:it Maria Chiara Meo Dipartimento di Matematica Pura ed Applicata, Universit a di L'Aquila, via Vetoio, localit a Coppito, 67010 L'Aquila, Italy
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/PLILP96-300DPI.ps.gz, 19960705
A Reactive Implementation of Pos Using ROBDDs Roberto Bagnara Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy E-mail: bagnara@di.unipi.it.
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/PLILP96-600DPI.ps.gz, 19960705
A Reactive Implementation of Pos Using ROBDDs Roberto Bagnara Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy E-mail: bagnara@di.unipi.it.
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/GULP96J-300DPI.ps.gz, 19960708
The AND-compositionality of CLP computed answer constraints. Roberto Bagnara, Marco Comini, Francesca Scozzari and Enea Zaffanella Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy fbagnara;comini;scozzari;zaffanelg@di:unipi:it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/bagnara/GULP96J-600DPI.ps.gz, 19960708
The AND-compositionality of CLP computed answer constraints. Roberto Bagnara, Marco Comini, Francesca Scozzari and Enea Zaffanella Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy fbagnara;comini;scozzari;zaffanelg@di:unipi:it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/popl.ps.gz, 19960712
Heyting Completion of Abstract Interpretations Roberto Giacobazzi Francesca Scozzari Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy fgiaco; scozzarig@di:unipi:it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/alp96.ps.gz, 19960712
Complementing Logic Program Semantics Roberto Giacobazzi Francesco Ranzato Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy giaco@di.unipi.it Dipartimento di Matematica Pura ed Applicata, Universit a di Padova Via Belzoni 7, 35131 Padova, Italy franz@math.unipd.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/brogi/BSZ.ps, 19960722
Baltzer Journals July 19, 1996 The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach Antonio Brogi 1 V.S. Subrahmanian 2 and Carlo Zaniolo 3 1 Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, 56125 Pisa, Italy E-mail: brogi@di.unipi.it 2 Computer Science
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/dipierro/alp96.ps, 19960813
On Negation As Instantiation Alessandra Di Pierro1 and W lodzimierz Drabent2 1 Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy dipierro@dimi.unipi.it 2 IPIPAN, Polish Academy of Sciences, Ordona 21, Pl { 01-237 Warszawa, and IDA, Link oping University, S - 581 83
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/guglielmi/RP.ps.gz, 19960817
Research Project Partial Order State and Semantics for Concurrent Logic Programming in Linear Logic Alessio Guglielmi Universit a di Pisa, Dipartimento di Informatica, Corso Italia 40, 56125 Pisa, Italy e-mail: guglielm@di.unipi.it web: http://www.di.unipi.it/~guglielm fax: +39 (50) 887 226 1 Current
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/pasco94jsc.ps.gz, 19960829
J. Symbolic Computation (1996) 22, 1{15 Strategy-Accurate Parallel Buchberger Algorithmsy GIUSEPPE ATTARDIy AND CARLO TRAVERSOz yDipartimento di Informatica, Universit a degli Studi di Pisa Corso Italia 40, I-56125 Pisa, Italia z Dipartimento di Matematica, Universit a degli Studi di Pisa via F.
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/brogi/BLMM96.ps, 19960830
A Unifying View for Logic Programming with Non-Monotonic Reasoning Antonio Brogi Evelina Lamma y Paolo Mancarella z Paola Mello x
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/concur/SASSONE/tsim-pomiv96.ps.gz, 19960908
DIMACS Series in Discrete Mathematics and Theoretical Computer Science Volume 00, 19xx Transition Systems with Independence and Multi-Arcs Thomas T. Hildebrandt and Vladimiro Sassone
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/gabbrielli/proc.ps.gz, 19960910
Verification and Analysis of Logic Programs Informal Proceedings of the Post-Conference Workshop W2 Joint International Conference and Symposium on Logic Programming Bonn, Germany, September 1996 Edited by Frank S. de Boer and Maurizio Gabbrielli Contents ffl A Floyd-Hoare Method for Prolog. W. Drabent.
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/guerrini/esop94.ps.gz, 19960930
>=-definition of Function(al)s by Normal Forms Corrado B ohm1, Adolfo Piperno1, Stefano Guerrini2 1 Dipartimento di Scienze dell'Informazione, Universit a di Roma La Sapienza", Via Salaria 113, 00198 Roma, Italy, e-mail: fboehm,pipernog@dsi-next1.ing.uniroma1.it 2 Dipartimento di Informatica, Universit
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/guerrini/Coherence.ps.gz, 19960930
Coherence for sharing proof-nets S. Guerrini1, S. Martini2, A. Masini1 1 Dipartimento di Informatica, Universit a di Pisa, Corso Italia, 40, I-56125 Pisa { Italy; guerrini,masini@di.unipi.it. 2 Dipartimento di Matematica e Informatica, Universit a di Udine, Via delle Scienze, 206, I-33100 Udine { Italy;
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ciuffoletti/resume.ps, 19961015
Curriculum Vitae et Studiorum of Augusto Ciuffoletti Birthday August 20th, 1956 Office address Dipartimento di Scienze dell'Informazione Corso Italia n. 40 56100 Pisa Telephone +39 (50) 887252 (Office) 887226 (FAX) Telex 590291 DIPISA I e-mail augusto@di.unipi.it Degree Laurea in Scienze
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ciuffoletti/selection/pdp.ps, 19961016
Group Membership in a Synchronous Distributed System Gianluigi Alari*, Augusto Ciuffoletti** *CRS4, Via N. Sauro 10, 09123 Cagliari - e.mail: alari@CRS4 **Dipartimento di Informatica, Corso Italia 40, 56100 Pisa - e.mail: augusto@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ciuffoletti/selection/dc.ps, 19961016
Reliability versus cost: design of a probabilistic broadcast algorithm Augusto Ciuffoletti Department of Computer Science - University of Pisa - Italy
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/attardi/SPE.ps.gz, 19961107
A Customisable Memory Management Framework for C++ Giuseppe Attardi, Tito Flagella and Pietro Iglio Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, I-56125 Pisa, Italy net: attardi@di.unipi.it Keywords: memory management, garbage collection, C++
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/comini/PrvPropAbsDiag/PrvPropAbsDiag96.ps.gz, 19961108
Proving Properties of Logic Programs by
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/jflp-cc.ps.gz, 19961110
Abstracting Synchronization in Concurrent Constraint Programming Enea Zaffanella Roberto Giacobazzi Giorgio Levi Dipartimento di Informatica Universit a di Pisa Corso Italia 40, 56125 Pisa (zaffanel,giaco,levi)@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/degano/compact.ps.gz, 19961116
Compact Transition Systems Pierpaolo Degano and Corrado Priami Dipartimento di Informatica, Universit a di Pisa Corso Italia, 40, I-56125 Pisa, Italy fdegano,priamig@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/degano/asia.ps.gz, 19961116
Complexity as a Basis for Comparing Semantic Models of Concurrency Alan Mycroft1, Pierpaolo Degano2 and Corrado Priami2 1 Computer Laboratory, Cambridge University, New Museums Site, Pembroke Street, Cambridge CB2 3QG, United Kingdom Alan.Mycroft@cl.cam.ac.uk 2 Dipartimento di Informatica, Universit a
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/degano/pact95.ps.gz, 19961116
An Efficient Verifier of Truly Concurrent Properties Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano and Corrado Priami Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, I-56125 Pisa, Italy - fdegano,priamig@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/degano/rivistaecrc.ps.gz, 19961116
Causality for Debugging Mobile Agents Roberta Borgia, Pierpaolo Degano and Corrado Priami Dipartimento di Informatica, Universit a di Pisa Corso Italia, 40, I-56125 Pisa, Italy {fdegano,priamig@di.unipi.it Lone Leth and Bent Thomsen European Computer-Industry Research Centre Arabellastr. 17, D-81925
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/degano/gulp95.ps.gz, 19961116
A Transitional Semantics of Full Prolog Pierpaolo Degano and Corrado Priami Dipartimento di Informatica, Universit a di Pisa Corso Italia, 40, I-56125 Pisa, Italy fdegano,priamig@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/degano/ecrc.ps.gz, 19961116
Understanding Mobile Agents via a non-interleaving semantics for Facile Roberta Borgia, Pierpaolo Degano and Corrado Priami Dipartimento di Informatica, Universit a di Pisa Corso Italia, 40, I-56125 Pisa, Italy Lone Leth and Bent Thomsen European Computer-Industry Research Centre Arabellastr. 17,
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/degano/temposve.ps.gz, 19961116
Mobile processes with local clocks Pierpaolo Degano, Jean-Vincent Loddo and Corrado Priami Dipartimento di Informatica, Universit a di Pisa Corso Italia, 40, I-56125 Pisa, Italy fdegano,priamig@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/degano/icalp96.ps.gz, 19961116
Mobile Processes with a Distributed Environment Chiara Bodei, Pierpaolo Degano and Corrado Priami Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, I-56125 Pisa, Italy - fdegano,priamig@di.unipi.it EXTENDED ABSTRACT
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/degano/facilesve.ps.gz, 19961116
Analysis of Facile Programs: a Case Study Pierpaolo Degano1, Corrado Priami1, Lone Leth2 and Bent Thomsen2 1 Dipartimento di Informatica, Universit a di Pisa Corso Italia, 40, I-56125 Pisa, Italy { fdegano,priamig@di.unipi.it 2 ICL, Technology Businesses, Research & Advanced Technology Lovelace Road,
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/degano/nomirivista.ps.gz, 19961116
Handling Locally Names of Mobile Agents Chiara Bodei, Pierpaolo Degano and Corrado Priami Dipartimento di Informatica, Universit a di Pisa Corso Italia, 40, I-56125 Pisa, Italy fchiara,degano,priamig@di.unipi.it
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/degano/sas96.ps.gz, 19961116
Understanding Mobile Agents via a non-interleaving semantics for Facile R. Borgia1, P. Degano1, C. Priami1, L. Leth2 and B. Thomsen2 1 Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, I-56100 Pisa, Italy fdegano,priamig@di.unipi.it 2 European Computer-Industry Research Centre
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/degano/eos.ps.gz, 19961116
Enhanced Operational Semantics Pierpaolo Degano and Corrado Priami Dipartimento di Informatica, Universit a di Pisa Corso Italia, 40, I-56125 Pisa, Italy fdegano,priamig@di.unipi.it Since the very beginning of computer science, the behaviour of machines has been given through an operational approach
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/degano/icalp95.ps.gz, 19961116
Causality for Mobile Processes Pierpaolo Degano and Corrado Priami Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, I-56125 Pisa, Italy - fdegano,priamig@di.unipi.it EXTENDED ABSTRACT
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/degano/axiomatizing.ps.gz, 19961119
1 1 1 y z y y z
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/giacobazzi/toplas-compl.ps.gz, 19961220
Complementation in Abstract Interpretation AGOSTINO CORTESI Universit a di Venezia GILBERTO FIL E Universit a di Padova ROBERTO GIACOBAZZI Universit a di Pisa CATUSCIA PALAMIDESSI Universit a di Genova and FRANCESCO RANZATO Universit a di Padova Reduced product of abstract domains is a rather well-known
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/guerrini/SharingGraphs.ps.gz, 19970114
Sharing-Graphs, Sharing-Morphisms, and (Optimal) >=-Graph Reductions1 Stefano Guerrini2
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/guerrini/pn-garb-comp.ps.gz, 19970115
Proof nets, Garbage, and Computations S. Guerrini1, S. Martini2, A. Masini3 1 IRCS, University of Pennsylvania, 3401 Walnut Street, Suite 400A, Philadelphia { USA; stefanog@saul.cis.upenn.edu. 2 Dipartimento di Matematica e Informatica, Universit a di Udine, Via delle Scienze, 206, I-33100 Udine {
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/guerrini/PhDThesis.ps.gz, 19970119
UNIVERSIT A DEGLI STUDI DI PISA DIPARTIMENTO DI INFORMATICA DOTTORATO DI RICERCA IN INFORMATICA Universit a di Pisa - Genova - Udine Ph.D. Thesis: TD-3/96 Theoretical and Practical Issues of Optimal Implementations of Functional Languages Stefano Guerrini
open this document and view contentsftp://ftp.di.unipi.it/pub/Papers/ciuffoletti/selection/ERSADS97.ps, 19970127
Self-Stabilizing Diffusion Augusto Ciuffoletti Dipartimento di Informatica - Universit a di Pisa Corso Italia 40 - 56125 Pisa - ITALY e.mail: augusto@di.unipi.it url: http://www.di.unipi.it/ augusto/augusto.html January 27, 1997 1 Overview This paper deals with a peculiar instance of the consensus