Programming languages and systems: third Asian symposium,APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2005
|
| Schriftenreihe: | Lecture notes in computer science
3780 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 433 S. Ill., graph. Darst. |
| ISBN: | 9783540297352 3540297359 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV021252456 | ||
| 003 | DE-604 | ||
| 005 | 20060125 | ||
| 007 | t| | ||
| 008 | 051205s2005 gw ad|| |||| 10||| eng d | ||
| 015 | |a 05,A50,0093 |2 dnb | ||
| 016 | 7 | |a 976891301 |2 DE-101 | |
| 020 | |a 9783540297352 |c kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.) |9 978-3-540-29735-2 | ||
| 020 | |a 3540297359 |c kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.) |9 3-540-29735-9 | ||
| 024 | 3 | |a 9783540297352 | |
| 028 | 5 | 2 | |a 11575467 |
| 035 | |a (OCoLC)62230055 | ||
| 035 | |a (DE-599)BVBBV021252456 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-91G |a DE-739 |a DE-706 |a DE-83 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.13 |2 22 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 555f |2 stub | ||
| 084 | |a DAT 350f |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Programming languages and systems |b third Asian symposium,APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings |c Kwangkeun Yi (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2005 | |
| 300 | |a XIII, 433 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 3780 | |
| 650 | 4 | |a Langages de programmation - Congrès | |
| 650 | 4 | |a Programming languages (Electronic computers) |v Congresses | |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2005 |z Tsukuba |2 gnd-content | |
| 689 | 0 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Yi, Kwangkeun |e Sonstige |4 oth | |
| 711 | 2 | |a APLAS |n 3 |d 2005 |c Tsukuba |j Sonstige |0 (DE-588)6507637-0 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 3780 |w (DE-604)BV000000607 |9 3780 | |
| 856 | 4 | 2 | |m Digitalisierung UBPassau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014573819&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-014573819 | |
Datensatz im Suchindex
| _version_ | 1820874972125462528 |
|---|---|
| adam_text |
Table of Contents
Invited Talk
Type Systems for XML
Haruo Hosoya
Session
The Essence of Dataflow Programming
Tarmo Uustalu,
Data Refinement with Low-Level Pointer Operations
Ivano,
A Simple Semantics for Polymorphic Recursion
William L. Harrison
Symbolic Execution with Separation Logic
Josh Berdine,
Session
An Abstract Interpretation Perspective on Linear vs. Branching Time
Francesco Ramato,
The Parallel Implementation of the
David Monniaux
Using Datalog with Binary Decision Diagrams for Program Analysis
John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam
Loop Invariants on Demand
K.
Invited Talk
Integrating Physical Systems in the Static Analysis of Embedded
Control Software
Patrick Cousot
Session 3
Reflection Analysis for Java
Benjamin Livshits, John Whaley, Monica S. Lam
Lightweight Family Polymorphism
Atsushi Igarashi, Chieri
A Portable and Customizable Profiling Framework for Java Based on
Bytecode
Walter Binder
Race Conditions in Message Sequence Charts
Chien-
Invited Talk
A Next-Generation Platform for Analyzing
T. Reps, G. Balakrishnan, J.
Session
Calculating Polynomial
Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice
Resource Bound Certification for a Tail-Recursive Virtual Machine
Silvano
A Path Sensitive Type System for Resource Usage Verification of C
Like Languages
Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han
Termination Analysis of Higher-Order Functional Programs
Damien
Session
Heterogeneous Fixed Points with Application to Points-to Analysis
Aditya Kanade, Uday Khedker, Amitabha Sanyal
Register Allocation Via Coloring of Chordal Graphs
Fernando
Transformation
Flow Analysis
Peter Vanbroekhoven,
Francky Catthoor
Abstract Dependences for Alarm Diagnosis
Xavier
Session
A Typed, Compositional Logic for a Stack-Based Abstract Machine
Nick Benton
A New Occurrence Counting Analysis for BioAmbients
Roberta Gori, Francesca
A Parametric Model for the Analysis of Mobile Ambients
Dino Distefano
On the
Isabella Mastroeni
Author Index |
| adam_txt |
Table of Contents
Invited Talk
Type Systems for XML
Haruo Hosoya
Session
The Essence of Dataflow Programming
Tarmo Uustalu,
Data Refinement with Low-Level Pointer Operations
Ivano,
A Simple Semantics for Polymorphic Recursion
William L. Harrison
Symbolic Execution with Separation Logic
Josh Berdine,
Session
An Abstract Interpretation Perspective on Linear vs. Branching Time
Francesco Ramato,
The Parallel Implementation of the
David Monniaux
Using Datalog with Binary Decision Diagrams for Program Analysis
John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam
Loop Invariants on Demand
K.
Invited Talk
Integrating Physical Systems in the Static Analysis of Embedded
Control Software
Patrick Cousot
Session 3
Reflection Analysis for Java
Benjamin Livshits, John Whaley, Monica S. Lam
Lightweight Family Polymorphism
Atsushi Igarashi, Chieri
A Portable and Customizable Profiling Framework for Java Based on
Bytecode
Walter Binder
Race Conditions in Message Sequence Charts
Chien-
Invited Talk
A Next-Generation Platform for Analyzing
T. Reps, G. Balakrishnan, J.
Session
Calculating Polynomial
Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice
Resource Bound Certification for a Tail-Recursive Virtual Machine
Silvano
A Path Sensitive Type System for Resource Usage Verification of C
Like Languages
Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han
Termination Analysis of Higher-Order Functional Programs
Damien
Session
Heterogeneous Fixed Points with Application to Points-to Analysis
Aditya Kanade, Uday Khedker, Amitabha Sanyal
Register Allocation Via Coloring of Chordal Graphs
Fernando
Transformation
Flow Analysis
Peter Vanbroekhoven,
Francky Catthoor
Abstract Dependences for Alarm Diagnosis
Xavier
Session
A Typed, Compositional Logic for a Stack-Based Abstract Machine
Nick Benton
A New Occurrence Counting Analysis for BioAmbients
Roberta Gori, Francesca
A Parametric Model for the Analysis of Mobile Ambients
Dino Distefano
On the
Isabella Mastroeni
Author Index |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| building | Verbundindex |
| bvnumber | BV021252456 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 555f DAT 350f DAT 310f |
| ctrlnum | (OCoLC)62230055 (DE-599)BVBBV021252456 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV021252456</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060125</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">051205s2005 gw ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,A50,0093</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">976891301</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540297352</subfield><subfield code="c">kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)</subfield><subfield code="9">978-3-540-29735-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540297359</subfield><subfield code="c">kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)</subfield><subfield code="9">3-540-29735-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540297352</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11575467</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)62230055</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021252456</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 555f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming languages and systems</subfield><subfield code="b">third Asian symposium,APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings</subfield><subfield code="c">Kwangkeun Yi (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 433 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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">3780</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</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">2005</subfield><subfield code="z">Tsukuba</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yi, Kwangkeun</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">APLAS</subfield><subfield code="n">3</subfield><subfield code="d">2005</subfield><subfield code="c">Tsukuba</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6507637-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">3780</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3780</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UBPassau</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=014573819&sequence=000001&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-014573819</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2005 Tsukuba gnd-content |
| genre_facet | Konferenzschrift 2005 Tsukuba |
| id | DE-604.BV021252456 |
| illustrated | Illustrated |
| index_date | 2024-07-02T13:39:45Z |
| indexdate | 2025-01-10T15:08:12Z |
| institution | BVB |
| institution_GND | (DE-588)6507637-0 |
| isbn | 9783540297352 3540297359 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014573819 |
| oclc_num | 62230055 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-706 DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-706 DE-83 |
| physical | XIII, 433 S. Ill., graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Programming languages and systems third Asian symposium,APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings Kwangkeun Yi (ed.) Berlin [u.a.] Springer 2005 XIII, 433 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 3780 Langages de programmation - Congrès Programming languages (Electronic computers) Congresses Formale Sprache (DE-588)4017848-1 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2005 Tsukuba gnd-content Programmierung (DE-588)4076370-5 s DE-604 Programmiersprache (DE-588)4047409-4 s Formale Sprache (DE-588)4017848-1 s Programmanalyse (DE-588)4175841-9 s Yi, Kwangkeun Sonstige oth APLAS 3 2005 Tsukuba Sonstige (DE-588)6507637-0 oth Lecture notes in computer science 3780 (DE-604)BV000000607 3780 Digitalisierung UBPassau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014573819&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Programming languages and systems third Asian symposium,APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings Lecture notes in computer science Langages de programmation - Congrès Programming languages (Electronic computers) Congresses Formale Sprache (DE-588)4017848-1 gnd Programmanalyse (DE-588)4175841-9 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4017848-1 (DE-588)4175841-9 (DE-588)4076370-5 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Programming languages and systems third Asian symposium,APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings |
| title_auth | Programming languages and systems third Asian symposium,APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings |
| title_exact_search | Programming languages and systems third Asian symposium,APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings |
| title_exact_search_txtP | Programming languages and systems third Asian symposium,APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings |
| title_full | Programming languages and systems third Asian symposium,APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings Kwangkeun Yi (ed.) |
| title_fullStr | Programming languages and systems third Asian symposium,APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings Kwangkeun Yi (ed.) |
| title_full_unstemmed | Programming languages and systems third Asian symposium,APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings Kwangkeun Yi (ed.) |
| title_short | Programming languages and systems |
| title_sort | programming languages and systems third asian symposium aplas 2005 tsukuba japan november 2 5 2005 proceedings |
| title_sub | third Asian symposium,APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings |
| topic | Langages de programmation - Congrès Programming languages (Electronic computers) Congresses Formale Sprache (DE-588)4017848-1 gnd Programmanalyse (DE-588)4175841-9 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Langages de programmation - Congrès Programming languages (Electronic computers) Congresses Formale Sprache Programmanalyse Programmierung Programmiersprache Konferenzschrift 2005 Tsukuba |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014573819&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT yikwangkeun programminglanguagesandsystemsthirdasiansymposiumaplas2005tsukubajapannovember252005proceedings AT aplastsukuba programminglanguagesandsystemsthirdasiansymposiumaplas2005tsukubajapannovember252005proceedings |