Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '00): Montréal, Canada September 20 - 23, 2000
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
New York
ACM
2000
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | IX, 301 S. graph. Darst. |
| ISBN: | 1581132654 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013552597 | ||
| 003 | DE-604 | ||
| 005 | 20010917 | ||
| 007 | t | ||
| 008 | 010124s2000 d||| |||| 10||| eng d | ||
| 020 | |a 1581132654 |9 1-58113-265-4 | ||
| 035 | |a (OCoLC)45661940 | ||
| 035 | |a (DE-599)BVBBV013552597 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-20 |a DE-83 | ||
| 050 | 0 | |a QA76.615 | |
| 082 | 0 | |a 005.131 |2 21 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 300f |2 stub | ||
| 084 | |a DAT 005f |2 stub | ||
| 111 | 2 | |a International Conference on Principles and Practice of Declarative Programming |n 2 |d 2000 |c Montréal |j Verfasser |0 (DE-588)10017953-8 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '00) |b Montréal, Canada September 20 - 23, 2000 |
| 264 | 1 | |a New York |b ACM |c 2000 | |
| 300 | |a IX, 301 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Declarative programming |v Congresses | |
| 650 | 0 | 7 | |a Deklarative Programmierung |0 (DE-588)4293503-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2000 |z Montréal |2 gnd-content | |
| 689 | 0 | 0 | |a Deklarative Programmierung |0 (DE-588)4293503-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009254609&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009254609 | ||
Record in the Search Index
| _version_ | 1804128350637129728 |
|---|---|
| adam_text | Table
of
Contents
Wednesday, September
20, 2000
PPDP
2000
Chairs and Program Committee
.................................................................................................................iv
Referees
................................................................................................................................................................................
v
Sponsors
..............................................................................................................................................................................vi
Opening
· 14:20 - 14:30
Invited Talk
· 14:30 - 15:30 ·
From Logic to Stochastic Processes
...........................................................................1
Prakash Panangaden (McGill University)
Break
«3:30-4:00
Session I
· 4:00 - 6:00
•
A Parallel Implementation for Optimal Lambda-Calculus Reduction
.......................................................3
Marco Pedicini
(Consiglio Nazionale delle Ricerche, Roma), Francesco Quaglia (Università di Roma)
•
Logical Relations, Data Abstraction, and Structured Fibrations
..............................................................15
John Power
(University of Edinburgh)
,
Edmund Robinson
(Queen Mary &
Westfield College)
•
Operational Semantics and Extensionality
...............................................................................................24
Simona
Ronchi Della Rocca (Università di Torino)
•
A
High
Performance
Erlang
System
..........................................................................................................32
Erik Johansson,
Mikael Pettersson,
Konstantinos Sagonas
(Uppsala
University)
Thursday,
September
21
,
2000
Invited Talk
· 8:30 - 9:30 ·
Concurrent Constraint Programming and Linear Logic
........................................44
François
Fages (INRIA Rocquencourt)
Session II
· 9:35 - 10:35
•
A Framework for the Recursive Definition of Data Structures
...............................................................45
Jean-Louis Giavitto (Université de Paris-Sud)
•
Declarative Event-Oriented Programming
....................................................................................................56
Conal Elliott (Microsoft Research)
Break
»10:35-11:00
Session III
«11:00-12:30
•
Linear Logic Programming with an Ordered Contexts
...............................................................................68
Jeff
Polaków
(Carnegie Mellon University)
•
Proof Construction and Non-Commutativiry: a Cluster Calculus
.............................................................80
Claudia Faggian
(Institut de Mathématiques de
Luminy)
•
A
Bottom-up Semantics for Linear Logic Programs
................................................................................92
Marco Bozzano, Giorgio Delzanno,
Maurizio Martelli (Università di Genova)
Session
IV
· 14:00-15:30
•
Enhanced
Sharing
Analysis Techniques: A Comprehensive Evaluation
................................................103
Roberto Bagnara,
Enea
Zaffanella (University of Parma), Patricia M. Hill (University of Leeds)
•
A Characterization of Symmetric Semantics by Domain Complementation
.........................................115
Roberto Giacobazzi, Isabella Mastroeni
(Università di
Verona)
•
Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation
.....................127
Alessandra Di
Pierrô
(Università di Pisa), Herbert Wiklicky (Imperiai College)
Break
· 15:30 -16:00
Session V
· 16:00-17:30
•
Simplifying Termination Proofs for Rewrite Systems by Preprocessing
................................................139
Bernhard
Grämlich (Technische Universität Wien)
•
A Model for Comparing the Space Usage of Lazy Evaiuators
.................................................................151
Adam
Bakewell,
Colin Runciman (University of York)
•
Unification via
λ$.
Style of Explicit Substitution
.........................................................................................163
Mauricio Ayala-Rincón
(Universidade de Brasília),
Fairouz
Kamareddine
(Heriot-Watt University)
Friday, September
22, 2000
Invited Talk
· 8:30-9:30 ·
Proof-Carrying Code: Design, Implementation and Applications
......................175
George
Nečula
(University of California, Berkeley)
Session VI
· 9:35 - 10:35
•
Justifying Proofs using Memo Tables
...........................................................................................................178
Abhik Roychoudhury,
C. R.
Ramakrishnan, I. V. Ramakrishnan
(SUNY
Stony Brook)
•
Semantic Analysis of Pointer Aliasing, Allocation and Disposal in Hoare Logic
..................................190
Cristiano
Calcagno
(Queen Mary
&
Westfield College and University of
Genova), Samin
Ishtiaq,
Peter W. O Hearn (Queen Mary
&
Westfield College)
Break
«10:35-11:00
Session
VII
· 11:00-12:30
•
Type-based Nondeterminism Checking in Functional Logic Programs
.................................................202
Michael Hanus, Frank
Steiner (Christian-Albrechts-Universität
Kiel)
•
A Precise Type Analysis of Logic Programs
................................................................................................214
Lunjin
Lu
(The Oakland University)
•
Efficient Abstract Interpretation using Component-Wise Homomorphism
..........................................226
Jörg Koller, Markus
Mohnen (RWTHAachen)
Session
VIII · 14:00 - 15:30
•
Extending Constraint Logic Programming with Open Functions
...........................................................235
Nikolay Pelov, Maurice Bruynooghe (K. U.
Leuven)
•
Efficient Memory Management in a Merged Heap/Stack Prolog Machine
...........................................245
Xining Li (Lakehead University)
•
Continuations
for Parallel Logic Programming
.........................................................................................257
Eneia Todoran (Technical University of
Cłuj-N
apoca),
Nikolaos
S. Papaspyrou
(National Technical
University of Athens)
Break
· 15:30 - 16:00
Session IX
· 16:00 - 17:30
•
Solving Coverability Problems of
Petri
Nets by Partial Deduction
.........................................................268
Michael Leuschel,
Heiko Lehmann
(University of Southampton)
•
Symmetric Monoidal Sketches
.......................................................................................................................280
Martin Hyland (University of Cambridge), John Power (University of Edinburgh)
•
Modular Resetting of Synchronous Data-Flow Programs
........................................................................289
Grégoire
Hamon, Marc Pouzet
(Laboratoire d informatique de
Paris
6)
Closing
· 17:30 - 17:40
Author Index
....................................................................................................................................................................301
|
| any_adam_object | 1 |
| author_corporate | International Conference on Principles and Practice of Declarative Programming Montréal |
| author_corporate_role | aut |
| author_facet | International Conference on Principles and Practice of Declarative Programming Montréal |
| author_sort | International Conference on Principles and Practice of Declarative Programming Montréal |
| building | Verbundindex |
| bvnumber | BV013552597 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.615 |
| callnumber-search | QA76.615 |
| callnumber-sort | QA 276.615 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| classification_tum | DAT 300f DAT 005f |
| ctrlnum | (OCoLC)45661940 (DE-599)BVBBV013552597 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01641nam a2200385 c 4500</leader><controlfield tag="001">BV013552597</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010917 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010124s2000 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1581132654</subfield><subfield code="9">1-58113-265-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)45661940</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013552597</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.615</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 300f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 005f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Principles and Practice of Declarative Programming</subfield><subfield code="n">2</subfield><subfield code="d">2000</subfield><subfield code="c">Montréal</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10017953-8</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '00)</subfield><subfield code="b">Montréal, Canada September 20 - 23, 2000</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">ACM</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 301 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Declarative programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deklarative Programmierung</subfield><subfield code="0">(DE-588)4293503-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2000</subfield><subfield code="z">Montréal</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deklarative Programmierung</subfield><subfield code="0">(DE-588)4293503-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009254609&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009254609</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2000 Montréal gnd-content |
| genre_facet | Konferenzschrift 2000 Montréal |
| id | DE-604.BV013552597 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:47:51Z |
| institution | BVB |
| institution_GND | (DE-588)10017953-8 |
| isbn | 1581132654 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009254609 |
| oclc_num | 45661940 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-20 DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-20 DE-83 |
| physical | IX, 301 S. graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | ACM |
| record_format | marc |
| spelling | International Conference on Principles and Practice of Declarative Programming 2 2000 Montréal Verfasser (DE-588)10017953-8 aut Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '00) Montréal, Canada September 20 - 23, 2000 New York ACM 2000 IX, 301 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Declarative programming Congresses Deklarative Programmierung (DE-588)4293503-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Montréal gnd-content Deklarative Programmierung (DE-588)4293503-9 s DE-604 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009254609&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '00) Montréal, Canada September 20 - 23, 2000 Declarative programming Congresses Deklarative Programmierung (DE-588)4293503-9 gnd |
| subject_GND | (DE-588)4293503-9 (DE-588)1071861417 |
| title | Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '00) Montréal, Canada September 20 - 23, 2000 |
| title_auth | Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '00) Montréal, Canada September 20 - 23, 2000 |
| title_exact_search | Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '00) Montréal, Canada September 20 - 23, 2000 |
| title_full | Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '00) Montréal, Canada September 20 - 23, 2000 |
| title_fullStr | Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '00) Montréal, Canada September 20 - 23, 2000 |
| title_full_unstemmed | Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '00) Montréal, Canada September 20 - 23, 2000 |
| title_short | Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '00) |
| title_sort | proceedings of the 2nd international acm sigplan conference on principles and practice of declarative programming ppdp 00 montreal canada september 20 23 2000 |
| title_sub | Montréal, Canada September 20 - 23, 2000 |
| topic | Declarative programming Congresses Deklarative Programmierung (DE-588)4293503-9 gnd |
| topic_facet | Declarative programming Congresses Deklarative Programmierung Konferenzschrift 2000 Montréal |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009254609&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT internationalconferenceonprinciplesandpracticeofdeclarativeprogrammingmontreal proceedingsofthe2ndinternationalacmsigplanconferenceonprinciplesandpracticeofdeclarativeprogrammingppdp00montrealcanadaseptember20232000 |