Programming languages and systems: 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6012 : Advanced research in computing and software science |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XV, 632 S. graph. Darst. 24 cm |
| ISBN: | 9783642119569 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036100696 | ||
| 003 | DE-604 | ||
| 005 | 20100611 | ||
| 007 | t| | ||
| 008 | 100329s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N08 |2 dnb | ||
| 016 | 7 | |a 1000251950 |2 DE-101 | |
| 020 | |a 9783642119569 |c kart. : EUR 84.53 (freier Pr.), sfr 123.00 (freier Pr.) |9 978-3-642-11956-9 | ||
| 024 | 3 | |a 9783642119569 | |
| 028 | 5 | 2 | |a 80011080 |
| 035 | |a (OCoLC)586999180 | ||
| 035 | |a (DE-599)DNB1000251950 | ||
| 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.6 | |
| 082 | 0 | |a 005.13 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 350f |2 stub | ||
| 245 | 1 | 0 | |a Programming languages and systems |b 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |c Andrew D. Gordon (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XV, 632 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 6012 : Advanced research in computing and software science | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Computer programming |v Congresses | |
| 650 | 4 | |a Programming languages (Electronic computers) |v Congresses | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierparadigma |0 (DE-588)4308224-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 2010 |z Paphos Ktima |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierparadigma |0 (DE-588)4308224-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Gordon, Andrew D. |d 1964- |e Sonstige |0 (DE-588)133694844 |4 oth | |
| 711 | 2 | |a ESOP |n 19 |d 2010 |c Paphos |j Sonstige |0 (DE-588)16059994-5 |4 oth | |
| 711 | 2 | |a ETAPS |n 13 |d 2010 |c Paphos |j Sonstige |0 (DE-588)16059897-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6012 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 6012 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3427659&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=018991065&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018991065 | |
Datensatz im Suchindex
| _version_ | 1820875204511924224 |
|---|---|
| adam_text |
TABLE OF CONTENTS THE AUDACITY OF HOPE: THOUGHTS ON RECLAIMING THE
DATABASE DREAM (ETAPS INVITED LECTURE) 1 SAM LINDLEY AND PHILIP WADLER
DYNAMIC BOUNDARIES: INFORMATION HIDING BY SECOND ORDER FRAMING WITH
FIRST ORDER ASSERTIONS (ESOP INVITED LECTURE) 2 DAVID A. NAUMANN AND
ANINDYA BANERJEE COUPLING POLICY ITERATION WITH SEMI-DEFINITE RELAXATION
TO COMPUTE ACCURATE NUMERICAL INVARIANTS IN STATIC ANALYSIS 23 ASSOLE
ADJE, STEPHANE GAUBERT, AND ERIC GOUBAULT PRECISE AND AUTOMATED
CONTRACT-BASED REASONING FOR VERIFICATION AND CERTIFICATION OF
INFORMATION FLOW PROPERTIES OF PROGRAMS WITH ARRAYS 43 TORBEN AMTOFT,
JOHN HATCLIFF, AND EDWIN RODRIGUEZ A SEMANTIC FRAMEWORK FOR
DECLASSIFICATION AND ENDORSEMENT 64 ASIAN ASKAROV AND ANDREW MYERS
AMORTISED RESOURCE ANALYSIS WITH SEPARATION LOGIC 85 ROBERT ATKEY A
POLYTIME FUNCTIONAL LANGUAGE FROM LIGHT LINEAR LOGIC 104 PATRICK
BAILLOT, MARCO GABOARDI, AND VIRGILE MOGBIL TESTING POLYMORPHIC
PROPERTIES 125 JEAN-PHILIPPE BERNARDY, PATRIK JANSSON, AND KOEN CLAESSEN
FORMAL VERIFICATION OF COALESCING GRAPH-COLORING REGISTER ALLOCATION.
145 SANDRINE BLAZY, BENOIT ROBILLARD, AND ANDREW W. APPEL A THEORY OF
SPECULATIVE COMPUTATION 165 GERARD BOUDOL AND GUSTAVO PETRI PROPOSITIONA
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1000251950 DIGITALISIERT
DURCH XIV TABLE OF CONTENTS FLUID UPDATES: BEYOND STRONG VS.WEAK UPDATES
246 ISIL DILLIG, THOMAS DILLIG, AND ALEX AIKEN PARAMETERIZED MEMORY
MODELS AND CONCURRENT SEPARATION LOGIC 267 RODRIGO FERREIRA, XINYU FENG,
AND ZHONG SHAO AMORTIZED RESOURCE ANALYSIS WITH POLYNOMIAL POTENTIAL: A
STATIC INFERENCE OF POLYNOMIAL BOUNDS FOR FUNCTIONAL PROGRAMS 287 JAN
HOFFMANN AND MARTIN HOFMANN GENERATIVE OPERATIONAL SEMANTICS FOR RELAXED
MEMORY MODELS 307 RADHA JAGADEESAN, CORIN PITCHER, AND JAMES RIELY
AUTOMATING SECURITY MEDIATION PLACEMENT 327 DAVE KING, SUSMIT JHA, DIVYA
MUTHUKUMARAN, TRENT JAEGER, SOMESH JHA, AND SANJIT A. SESHIA TRX: A
FORMALLY VERIFIED PARSER INTERPRETER 345 ADAM KOPROWSKI AND HENRI
BINSZTOK ON THE EXPRESSIVE POWER OF PRIMITIVES FOR COMPENSATION HANDLING
366 IVAN LANESE, CATIA VAZ, AND CARLA FERREIRA SEPARATING SHAPE GRAPHS
387 VINCENT LAVIRON, BOR- YUH EVAN CHANG, AND XAVIER RIVAL DEADLOCK-FREE
CHANNELS AND LOCKS 407 K. RUSTAN M. LEINO, PETER MUELLER, AND JAN SMANS
VERIFYING A COMPILER FOR JAVA THREADS 427 ANDREAS LOCHBIHLER A
GRAMMAR-BASED APPROACH TO INVERTIBLE PROGRAMS 448 KAZUTAKA MATSUDA,
SHIN-CHENG MU, ZHENJIANG HU, AND MASATO TAKEICHI FAULTY LOGIC: REASONING
ABOUT FAULT TOLERANT PROGRAMS 468 MATTHEW TABLE OF CONTENTS XV STATEFUL
CONTRACTS FOR AFFINE TYPES 550 JESSE A. TOV AND RICCARDO PUCELLA CFA2: A
CONTEXT-FREE APPROACH TO CONTROL-FLOW ANALYSIS 570 DIMITRIOS VARDOULAKIS
AND OLIN SHIVERS WEIGHTED DYNAMIC PUSHDOWN NETWORKS 590 ALEXANDER WENNER
EXPLICIT STABILISATION FOR MODULAR RELY-GUARANTEE REASONING 610 JOHN
WICKERSON, MIKE DODDS, AND MATTHEW PARKINSON AUTHOR INDEX 631 |
| any_adam_object | 1 |
| author_GND | (DE-588)133694844 |
| building | Verbundindex |
| bvnumber | BV036100696 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 350f |
| ctrlnum | (OCoLC)586999180 (DE-599)DNB1000251950 |
| 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">BV036100696</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100611</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100329s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N08</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1000251950</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642119569</subfield><subfield code="c">kart. : EUR 84.53 (freier Pr.), sfr 123.00 (freier Pr.)</subfield><subfield code="9">978-3-642-11956-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642119569</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80011080</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)586999180</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1000251950</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.6</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="245" ind1="1" ind2="0"><subfield code="a">Programming languages and systems</subfield><subfield code="b">19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings</subfield><subfield code="c">Andrew D. Gordon (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 632 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">6012 : Advanced research in computing and software science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="v">Congresses</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 Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierparadigma</subfield><subfield code="0">(DE-588)4308224-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">2010</subfield><subfield code="z">Paphos Ktima</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="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Programmierparadigma</subfield><subfield code="0">(DE-588)4308224-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gordon, Andrew D.</subfield><subfield code="d">1964-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)133694844</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ESOP</subfield><subfield code="n">19</subfield><subfield code="d">2010</subfield><subfield code="c">Paphos</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16059994-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">13</subfield><subfield code="d">2010</subfield><subfield code="c">Paphos</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16059897-7</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">6012 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6012</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3427659&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=018991065&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-018991065</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Paphos Ktima gnd-content |
| genre_facet | Konferenzschrift 2010 Paphos Ktima |
| id | DE-604.BV036100696 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:11:55Z |
| institution | BVB |
| institution_GND | (DE-588)16059994-5 (DE-588)16059897-7 |
| isbn | 9783642119569 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018991065 |
| oclc_num | 586999180 |
| 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 | XV, 632 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Andrew D. Gordon (ed.) Berlin [u.a.] Springer 2010 XV, 632 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6012 : Advanced research in computing and software science Literaturangaben Computer programming Congresses Programming languages (Electronic computers) Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmierparadigma (DE-588)4308224-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Paphos Ktima gnd-content Programmiersprache (DE-588)4047409-4 s Formale Methode (DE-588)4333722-3 s DE-604 Programmierparadigma (DE-588)4308224-5 s Gordon, Andrew D. 1964- Sonstige (DE-588)133694844 oth ESOP 19 2010 Paphos Sonstige (DE-588)16059994-5 oth ETAPS 13 2010 Paphos Sonstige (DE-588)16059897-7 oth Lecture notes in computer science 6012 : Advanced research in computing and software science (DE-604)BV000000607 6012 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3427659&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018991065&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Lecture notes in computer science Computer programming Congresses Programming languages (Electronic computers) Congresses Formale Methode (DE-588)4333722-3 gnd Programmierparadigma (DE-588)4308224-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4308224-5 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
| title_auth | Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
| title_exact_search | Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
| title_full | Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Andrew D. Gordon (ed.) |
| title_fullStr | Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Andrew D. Gordon (ed.) |
| title_full_unstemmed | Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Andrew D. Gordon (ed.) |
| title_short | Programming languages and systems |
| title_sort | programming languages and systems 19th european symposium on programming esop 2010 held as part of the joint european conferences on theory and practice of software etaps 2010 paphos cyprus march 20 28 2010 proceedings |
| title_sub | 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
| topic | Computer programming Congresses Programming languages (Electronic computers) Congresses Formale Methode (DE-588)4333722-3 gnd Programmierparadigma (DE-588)4308224-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Computer programming Congresses Programming languages (Electronic computers) Congresses Formale Methode Programmierparadigma Programmiersprache Konferenzschrift 2010 Paphos Ktima |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3427659&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018991065&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT gordonandrewd programminglanguagesandsystems19theuropeansymposiumonprogrammingesop2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings AT esoppaphos programminglanguagesandsystems19theuropeansymposiumonprogrammingesop2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings AT etapspaphos programminglanguagesandsystems19theuropeansymposiumonprogrammingesop2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings |