Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 0̀2) ; Pittsburgh, Pennsylvania, USA, October 6 - 8, 2002
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Assoc. for Computing Machinery
2002
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV017240883 | ||
| 003 | DE-604 | ||
| 005 | 20030926 | ||
| 007 | t| | ||
| 008 | 030623s2002 xx ad|| |||| 10||| eng d | ||
| 020 | |a 1581135289 |9 1-58113-528-9 | ||
| 035 | |a (OCoLC)635102630 | ||
| 035 | |a (DE-599)BVBBV017240883 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-20 |a DE-91G |a DE-83 | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 510f |2 stub | ||
| 111 | 2 | |a International Conference on Principles and Practice of Declarative Programming |n 4 |d 2002 |c Pittsburgh, Pa. |j Verfasser |0 (DE-588)10058817-7 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming |b (PPDP 0̀2) ; Pittsburgh, Pennsylvania, USA, October 6 - 8, 2002 |
| 264 | 1 | |a New York, NY |b Assoc. for Computing Machinery |c 2002 | |
| 300 | |a VIII, 216 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 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 2002 |z Pittsburgh Pa. |2 gnd-content | |
| 689 | 0 | 0 | |a Deklarative Programmierung |0 (DE-588)4293503-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 710 | 2 | |a Association for Computing Machinery |b Special Interest Group on Programming Languages |e Sonstige |0 (DE-588)75333-6 |4 oth | |
| 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=010390658&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010390658 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 510f 2001 B 513 |
|---|---|
| DE-BY-TUM_katkey | 1410116 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040020111446 |
| _version_ | 1820803928465342464 |
| adam_text | Table
of
Contents
PPDP 02
Organization
...........................................................................................................................................
vii
Sponsors
&
Supporters
.......................................................................................................................................viii
Sunday, October
6
Program Generation, Termination, and Binding-time Analysis
....................................................................1
Neil D. Jones,
Ame
J. Glenstrup
(University of Copenhagen)
Towards a Primitive Higher Order Calculus of Broadcasting Systems
.....................................................2
Karol Ostrovský, K. V. S.
Prasad
(Chalmers University of Technology), Walid
Taha (Rice
University)
Coercion as Homomorphism: Type Inference in a System with Subtyping and Overloading
...........14
Alex Shafarenko (University of Hertfordshire)
Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus
.................................26
Marcelo Fiore
(University of Cambridge)
Automated Protocol Verification in Linear Logic
...........................................................................................38
Marco Bozzano
(ITC -
IRST), Giorgio Delzanno
(Università di Genova)
Modular Termination of Context-Sensitive Rewriting
...................................................................................50
Bernhard Grämlich (Technische Universität Wien), Salvador Lucas
(Universidad
Politècnica de
Valencia)
— System
Presentation
—
CARIBOO: An Induction Based Proof Tool for Termination
with Strategies
.........................................................................................................................................................62
Olivier Fissore,
Isabelle Gnaedig, Helene Kirchner (LORIA-INRIA &
LORJA-CNRS)
Monday, October
7
Mobile Calculi for Distributed Programming
...................................................................................................74
Catuscia Palamidessi (Penn State University)
Secure Calling Contexts for Stack Inspection
................................................................................................76
Frédéric
Besson, Thomas
de Grenier
de Latour, Thomas
Jensen
(IRISA,
Campus de Beaulieu)
Combining an Improvement to
PARMA
Trailing with Trailing Analysis
...................................................88
Tom
Schrijvers,
Bart
Demoen (Katholieke Universiteit Leuven)
Precise Pair-Sharing Analysis of Logic Programs
.........................................................................................99
Vitaly Lagoon, Peter J. Stuckey (University of Melbourne)
Constraint-Based Mode Analysis of Mercury
................................................................................................109
David
Överton
(The University of Melbourne and Monash University),
Zoltán Somogyi,
Peter
J.
Stuckey (The University of Melbourne)
Using the Heap to Eliminate Stack Accesses
...............................................................................................121
Zoltán Somogyi,
Peter J. Stuckey (The University of Melbourne)
Transforming the .NET Intermediate Language Using Path Logic Programming
133
Stephen Drape,
Oege de Moor,
Ganesh Sittampalam (Oxford University)
A Generic Operator over Discrete Time Intervals
........................................................................................145
Jérémie
Blanc, Rachid Echahed
(Laboratoire LEIBNIZ-IMAG, CNRS)
On the Expressive Power of Temporal Concurrent Constraint Programming Languages
...............156
Mogens
Nielsen (University ofAarhus), Catuscia Palamidessi (Penn State University),
Frank D. Valencia (University ofAarhus)
System Presentation
—
Functional Reactive Robotics:
An Exercise in Principled Integration of Domain- Specific Languages
................................................168
Izzet Pembeci (Johns Hopkins University),
Henrik Nilsson
(Yale University),
Gregory
Hager,
Darius Burschka (Johns Hopkins University), John Peterson (Yale University)
Tuesday, October
8
Generative Programming for Embedded Systems
......................................................................................180
Janos
Sztipanovits,
Gabor Karsai (Vanderbilt
University)
Full Integration of Subtyping and If-expression
...........................................................................................181
Gang Chen (Boston University)
True Separate Compilation of Java Classes
..................................................................................................189
D.
Ancona,
G. Lagorio,
E. Zucca (Università di Genova)
Java Bytecode
as a Typed Term Calculus
.....................................................................................................201
Tomoyuki Higuchi, Atsushi Ohori (Japan Advanced Institute of Science and Technology)
Author Index
......................................................................................................................................................212
|
| any_adam_object | 1 |
| author_corporate | International Conference on Principles and Practice of Declarative Programming Pittsburgh, Pa |
| author_corporate_role | aut |
| author_facet | International Conference on Principles and Practice of Declarative Programming Pittsburgh, Pa |
| author_sort | International Conference on Principles and Practice of Declarative Programming Pittsburgh, Pa |
| building | Verbundindex |
| bvnumber | BV017240883 |
| classification_rvk | ST 230 |
| classification_tum | DAT 510f |
| ctrlnum | (OCoLC)635102630 (DE-599)BVBBV017240883 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01691nam a2200349 c 4500</leader><controlfield tag="001">BV017240883</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030926 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">030623s2002 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1581135289</subfield><subfield code="9">1-58113-528-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)635102630</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017240883</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-20</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</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 510f</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">4</subfield><subfield code="d">2002</subfield><subfield code="c">Pittsburgh, Pa.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10058817-7</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming</subfield><subfield code="b">(PPDP 0̀2) ; Pittsburgh, Pennsylvania, USA, October 6 - 8, 2002</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Assoc. for Computing Machinery</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 216 S.</subfield><subfield code="b">Ill., 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="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">2002</subfield><subfield code="z">Pittsburgh Pa.</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="710" ind1="2" ind2=" "><subfield code="a">Association for Computing Machinery</subfield><subfield code="b">Special Interest Group on Programming Languages</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)75333-6</subfield><subfield code="4">oth</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=010390658&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010390658</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2002 Pittsburgh Pa. gnd-content |
| genre_facet | Konferenzschrift 2002 Pittsburgh Pa. |
| id | DE-604.BV017240883 |
| illustrated | Illustrated |
| indexdate | 2024-12-23T16:18:41Z |
| institution | BVB |
| institution_GND | (DE-588)10058817-7 (DE-588)75333-6 |
| isbn | 1581135289 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010390658 |
| oclc_num | 635102630 |
| open_access_boolean | |
| owner | DE-20 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-20 DE-91G DE-BY-TUM DE-83 |
| physical | VIII, 216 S. Ill., graph. Darst. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Assoc. for Computing Machinery |
| record_format | marc |
| spellingShingle | Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 0̀2) ; Pittsburgh, Pennsylvania, USA, October 6 - 8, 2002 Deklarative Programmierung (DE-588)4293503-9 gnd |
| subject_GND | (DE-588)4293503-9 (DE-588)1071861417 |
| title | Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 0̀2) ; Pittsburgh, Pennsylvania, USA, October 6 - 8, 2002 |
| title_auth | Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 0̀2) ; Pittsburgh, Pennsylvania, USA, October 6 - 8, 2002 |
| title_exact_search | Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 0̀2) ; Pittsburgh, Pennsylvania, USA, October 6 - 8, 2002 |
| title_full | Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 0̀2) ; Pittsburgh, Pennsylvania, USA, October 6 - 8, 2002 |
| title_fullStr | Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 0̀2) ; Pittsburgh, Pennsylvania, USA, October 6 - 8, 2002 |
| title_full_unstemmed | Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 0̀2) ; Pittsburgh, Pennsylvania, USA, October 6 - 8, 2002 |
| title_short | Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming |
| title_sort | proceedings of the fourth acm sigplan conference on principles and practice of declarative programming ppdp 02 pittsburgh pennsylvania usa october 6 8 2002 |
| title_sub | (PPDP 0̀2) ; Pittsburgh, Pennsylvania, USA, October 6 - 8, 2002 |
| topic | Deklarative Programmierung (DE-588)4293503-9 gnd |
| topic_facet | Deklarative Programmierung Konferenzschrift 2002 Pittsburgh Pa. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010390658&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT internationalconferenceonprinciplesandpracticeofdeclarativeprogrammingpittsburghpa proceedingsofthefourthacmsigplanconferenceonprinciplesandpracticeofdeclarativeprogrammingppdp02pittsburghpennsylvaniausaoctober682002 AT associationforcomputingmachineryspecialinterestgrouponprogramminglanguages proceedingsofthefourthacmsigplanconferenceonprinciplesandpracticeofdeclarativeprogrammingppdp02pittsburghpennsylvaniausaoctober682002 |