Programming languages and systems 6th Asian symposium, APLAS 2008, Bangalore, India, December 9 - 11, 2008 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2008
|
| Schriftenreihe: | Lecture notes in computer science
5356 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035181131 | ||
| 003 | DE-604 | ||
| 005 | 20081215 | ||
| 007 | t| | ||
| 008 | 081126s2008 xx d||| |||| 10||| eng d | ||
| 015 | |a 08,N45,0048 |2 dnb | ||
| 016 | 7 | |a 990909395 |2 DE-101 | |
| 020 | |a 9783540893295 |c kart. : EUR 52.38 (freier Pr.), sfr 81.50 (freier Pr.) |9 978-3-540-89329-5 | ||
| 024 | 3 | |a 9783540893295 | |
| 028 | 5 | 2 | |a 12564330 |
| 035 | |a (OCoLC)276332015 | ||
| 035 | |a (DE-599)DNB990909395 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.13 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 350f |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Programming languages and systems |b 6th Asian symposium, APLAS 2008, Bangalore, India, December 9 - 11, 2008 ; proceedings |c G. Ramalingam (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2008 | |
| 300 | |a X, 341 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5356 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Formale Spezifikationstechnik - Kongress - Bangalore <2008> | |
| 650 | 4 | |a Java <Programmiersprache> - Kongress - Bangalore <2008> | |
| 650 | 4 | |a Nebenläufigkeit - Bisimulation - Kongress - Bangalore <2008> | |
| 650 | 4 | |a Programmiersprache - Kongress - Bangalore <2008> | |
| 650 | 4 | |a Programmverifikation - Kongress - Bangalore <2008> | |
| 650 | 4 | |a Programming languages (Electronic computers) |v Congresses | |
| 650 | 0 | 7 | |a Bisimulation |0 (DE-588)4619739-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Java |g Programmiersprache |0 (DE-588)4401313-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |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 2008 |z Bangalore |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 1 | 1 | |a Bisimulation |0 (DE-588)4619739-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Java |g Programmiersprache |0 (DE-588)4401313-9 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Ramalingam, G. |e Sonstige |4 oth | |
| 711 | 2 | |a APLAS |n 6 |d 2008 |c Bangalore |j Sonstige |0 (DE-588)10364540-8 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5356 |w (DE-604)BV000000607 |9 5356 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016987889&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016987889 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 001z 2001 A 999 |
|---|---|
| DE-BY-TUM_katkey | 1656696 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010141689 |
| _version_ | 1822409118087905280 |
| adam_text |
TABLE OF CONTENTS ABDUCTIVE INFERENCE FOR REASONING ABOUT HEAPS (INVITED
TALK) 1 DINO DISTEFANO A SOUND FLOATING-POINT POLYHEDRA ABSTRACT DOMAIN
3 LIQIAN CHEN, ANTOINE MINE, AND PATRICK COUSOT A FLOW-SENSITIVE REGION
INFERENCE FOR CLI 19 ALEXANDRA STEFAN, FLORIN CRACIUN, AND WEI-NGAN CHIN
CONTEXT-SENSITIVE RELEVANCY ANALYSIS FOR EFFICIENT SYMBOLIC EXECUTION 36
XIN LI, DARYL SHANNON, INDRADEEP GHOSH, MIZUHITO OGAWA, SREERANGA P.
RAJAN, AND SARFRAZ KHURSHID STATIC DETECTION OF PLACE LOCALITY AND
ELIMINATION OF RUNTIME CHECKS 53 SHIVALI AGARWAL, RAJKISHORE BANK, V.
KRISHNA NANDIVADA, RUDRAPATNA K. SHYAMASUNDAR, AND PRADEEP VARMA
CERTIFIED REASONING IN MEMORY HIERARCHIES 75 GILLES BARTHE, CESAR KUNZ,
AND JORGE LUIS SACCHINI THE COMPLEXITY OF COVERAGE 91 KRISHNENDU
CHATTERJEE, LUCA DE ALFARO, AND RUPAK MAJUMDAR GAME CHARACTERIZATIONS OF
PROCESS EQUIVALENCES 107 XIN CHEN AND YUXIN DENG EXTENSIONAL UNIVERSAL
TYPES FOR CALL-BY-VALUE 122 KAZUYUKI ASADA HARNESSING THE MULTICORES:
NESTED DATA PARALLELISM IN HASKELL (INVITED TALK) 138 SIMON PEYTON JONES
MINIMAL OWNERSHIP FOR ACTIVE OBJECTS 139 DAVE CLARKE, TOBIAS WRIGSTAD,
JOHAN OSTLUND, AND EINAR BROCH JOHNSEN TYPE-BASE BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/990909395 DIGITALISIERT DURCH 343 X TABLE
OF CONTENTS ML MODULES AND HASKELL TYPE CLASSES: A CONSTRUCTIVE
COMPARISON . 188 STEFAN WEHR AND MANUEL M. T. CHAKRAVARTY THE ESSENCE
OF FORM ABSTRACTION 205 EZRA COOPER, SAM LINDLEY, PHILIP WADLER, AND
JEREMY YALLOP ON AFFINE USAGES IN SIGNAL-BASED COMMUNICATION 221 ROBERTO
M. AMADIO AND MEHDI DOGGUY ABSTRACTION OF CLOCKS IN SYNCHRONOUS
DATA-FLOW SYSTEMS 237 ALBERT COHEN, LOUIS MANDEL, FLORENCE PLATEAU, AND
MARC POUZET FROM AUTHORIZATION LOGICS TO TYPES FOR AUTHORIZATION
(INVITED TALK). 255 RADHA JAGADEESAN INTERFACE TYPES FOR HASKELL 256
PETER THIEMANN AND STEFAN WEHR EXCEPTION HANDLERS AS EXTENSIBLE CASES
273 MATTHIAS BLUME, UMUT A. ACAR, AND WONSEOK CHAE SOUND AND COMPLETE
TYPE INFERENCE FOR A SYSTEMS PROGRAMMING LANGUAGE 290 SWAROOP SRIDHAR,
JONATHAN S. SHAPIRO, AND SCOTT F. SMITH AN OPERATIONAL SEMANTICS FOR
JAVASCRIPT 307 SERGIO MAFFEIS, JOHN C. MITCHELL, AND ANKUR TALY
JAVASCRIPT INSTRUMENTATION IN PRACTICE 326 HARUKA KIKUCHI, DACHUAN YU,
AJAY CHANDER, HIROSHI INAMURA, AND IGOR SERIKOV AUTHOR INDEX |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035181131 |
| 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 350f DAT 310f |
| ctrlnum | (OCoLC)276332015 (DE-599)DNB990909395 |
| 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 |
| 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">BV035181131</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20081215</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">081126s2008 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,N45,0048</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">990909395</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540893295</subfield><subfield code="c">kart. : EUR 52.38 (freier Pr.), sfr 81.50 (freier Pr.)</subfield><subfield code="9">978-3-540-89329-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540893295</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12564330</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)276332015</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB990909395</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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/ger</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 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">6th Asian symposium, APLAS 2008, Bangalore, India, December 9 - 11, 2008 ; proceedings</subfield><subfield code="c">G. Ramalingam (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 341 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">5356</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formale Spezifikationstechnik - Kongress - Bangalore <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Java <Programmiersprache> - Kongress - Bangalore <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nebenläufigkeit - Bisimulation - Kongress - Bangalore <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmiersprache - Kongress - Bangalore <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmverifikation - Kongress - Bangalore <2008></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">Bisimulation</subfield><subfield code="0">(DE-588)4619739-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Java</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4401313-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</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">2008</subfield><subfield code="z">Bangalore</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Bisimulation</subfield><subfield code="0">(DE-588)4619739-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">Java</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4401313-9</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">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ramalingam, G.</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">6</subfield><subfield code="d">2008</subfield><subfield code="c">Bangalore</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10364540-8</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">5356</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5356</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=016987889&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-016987889</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Bangalore gnd-content |
| genre_facet | Konferenzschrift 2008 Bangalore |
| id | DE-604.BV035181131 |
| illustrated | Illustrated |
| indexdate | 2025-01-27T13:32:48Z |
| institution | BVB |
| institution_GND | (DE-588)10364540-8 |
| isbn | 9783540893295 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016987889 |
| oclc_num | 276332015 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | X, 341 S. graph. Darst. 24 cm |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Programming languages and systems 6th Asian symposium, APLAS 2008, Bangalore, India, December 9 - 11, 2008 ; proceedings G. Ramalingam (ed.) Berlin [u.a.] Springer 2008 X, 341 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5356 Literaturangaben Formale Spezifikationstechnik - Kongress - Bangalore <2008> Java <Programmiersprache> - Kongress - Bangalore <2008> Nebenläufigkeit - Bisimulation - Kongress - Bangalore <2008> Programmiersprache - Kongress - Bangalore <2008> Programmverifikation - Kongress - Bangalore <2008> Programming languages (Electronic computers) Congresses Bisimulation (DE-588)4619739-4 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Java Programmiersprache (DE-588)4401313-9 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Bangalore gnd-content Programmiersprache (DE-588)4047409-4 s DE-604 Nebenläufigkeit (DE-588)4115352-2 s Bisimulation (DE-588)4619739-4 s Java Programmiersprache (DE-588)4401313-9 s Formale Spezifikationstechnik (DE-588)4299725-2 s Programmverifikation (DE-588)4135576-3 s Ramalingam, G. Sonstige oth APLAS 6 2008 Bangalore Sonstige (DE-588)10364540-8 oth Lecture notes in computer science 5356 (DE-604)BV000000607 5356 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016987889&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Programming languages and systems 6th Asian symposium, APLAS 2008, Bangalore, India, December 9 - 11, 2008 ; proceedings Lecture notes in computer science Formale Spezifikationstechnik - Kongress - Bangalore <2008> Java <Programmiersprache> - Kongress - Bangalore <2008> Nebenläufigkeit - Bisimulation - Kongress - Bangalore <2008> Programmiersprache - Kongress - Bangalore <2008> Programmverifikation - Kongress - Bangalore <2008> Programming languages (Electronic computers) Congresses Bisimulation (DE-588)4619739-4 gnd Programmverifikation (DE-588)4135576-3 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Java Programmiersprache (DE-588)4401313-9 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4619739-4 (DE-588)4135576-3 (DE-588)4299725-2 (DE-588)4401313-9 (DE-588)4115352-2 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Programming languages and systems 6th Asian symposium, APLAS 2008, Bangalore, India, December 9 - 11, 2008 ; proceedings |
| title_auth | Programming languages and systems 6th Asian symposium, APLAS 2008, Bangalore, India, December 9 - 11, 2008 ; proceedings |
| title_exact_search | Programming languages and systems 6th Asian symposium, APLAS 2008, Bangalore, India, December 9 - 11, 2008 ; proceedings |
| title_full | Programming languages and systems 6th Asian symposium, APLAS 2008, Bangalore, India, December 9 - 11, 2008 ; proceedings G. Ramalingam (ed.) |
| title_fullStr | Programming languages and systems 6th Asian symposium, APLAS 2008, Bangalore, India, December 9 - 11, 2008 ; proceedings G. Ramalingam (ed.) |
| title_full_unstemmed | Programming languages and systems 6th Asian symposium, APLAS 2008, Bangalore, India, December 9 - 11, 2008 ; proceedings G. Ramalingam (ed.) |
| title_short | Programming languages and systems |
| title_sort | programming languages and systems 6th asian symposium aplas 2008 bangalore india december 9 11 2008 proceedings |
| title_sub | 6th Asian symposium, APLAS 2008, Bangalore, India, December 9 - 11, 2008 ; proceedings |
| topic | Formale Spezifikationstechnik - Kongress - Bangalore <2008> Java <Programmiersprache> - Kongress - Bangalore <2008> Nebenläufigkeit - Bisimulation - Kongress - Bangalore <2008> Programmiersprache - Kongress - Bangalore <2008> Programmverifikation - Kongress - Bangalore <2008> Programming languages (Electronic computers) Congresses Bisimulation (DE-588)4619739-4 gnd Programmverifikation (DE-588)4135576-3 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Java Programmiersprache (DE-588)4401313-9 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Formale Spezifikationstechnik - Kongress - Bangalore <2008> Java <Programmiersprache> - Kongress - Bangalore <2008> Nebenläufigkeit - Bisimulation - Kongress - Bangalore <2008> Programmiersprache - Kongress - Bangalore <2008> Programmverifikation - Kongress - Bangalore <2008> Programming languages (Electronic computers) Congresses Bisimulation Programmverifikation Formale Spezifikationstechnik Java Programmiersprache Nebenläufigkeit Programmiersprache Konferenzschrift 2008 Bangalore |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016987889&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT ramalingamg programminglanguagesandsystems6thasiansymposiumaplas2008bangaloreindiadecember9112008proceedings AT aplasbangalore programminglanguagesandsystems6thasiansymposiumaplas2008bangaloreindiadecember9112008proceedings |