Programming languages and systems: 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2014
|
| Schriftenreihe: | Lecture notes in computer science
8410 : Advanced research in computing and software science |
| Schlagworte: | |
| Online-Zugang: | DE-634 DE-Aug4 DE-M347 DE-92 DE-859 DE-861 DE-91 DE-384 DE-473 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XIII, 576 S.) graph. Darst. |
| ISBN: | 3642548326 9783642548338 |
| DOI: | 10.1007/978-3-642-54833-8 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041789595 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140410s2014 gw d||| o|||| 10||| eng d | ||
| 020 | |a 3642548326 |9 3-642-54832-6 | ||
| 020 | |a 9783642548338 |c eISBN |9 978-3-642-54833-8 | ||
| 024 | 7 | |a 10.1007/978-3-642-54833-8 |2 doi | |
| 024 | 3 | |a 9783642548321 | |
| 035 | |a (OCoLC)879369548 | ||
| 035 | |a (DE-599)BVBBV041789595 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-473 |a DE-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-Aug4 |a DE-859 |a DE-861 |a DE-634 | ||
| 082 | 0 | |a 004 | |
| 084 | |a DAT 350f |2 stub | ||
| 245 | 1 | 0 | |a Programming languages and systems |b 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2014 | |
| 300 | |a 1 Online-Ressource (XIII, 576 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8410 : Advanced research in computing and software science | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaresystem |0 (DE-588)4137282-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |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 |
| 650 | 0 | 7 | |a Typsystem |0 (DE-588)4625224-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2014 |z Grenoble |2 gnd-content | |
| 689 | 0 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | 1 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 0 | 2 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 0 | 3 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 0 | 4 | |a Softwaresystem |0 (DE-588)4137282-7 |D s |
| 689 | 0 | 5 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | 1 | |a Typsystem |0 (DE-588)4625224-1 |D s |
| 689 | 1 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Shao, Zhong |d 1968- |e Sonstige |0 (DE-588)13387673X |4 oth | |
| 711 | 2 | |a ESOP |n 23 |d 2014 |c Grenoble |j Sonstige |0 (DE-588)1049312724 |4 oth | |
| 711 | 2 | |a ETAPS |n 17 |d 2014 |c Grenoble |j Sonstige |0 (DE-588)1048714993 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-642-54832-1 |
| 830 | 0 | |a Lecture notes in computer science |v 8410 : Advanced research in computing and software science |w (DE-604)BV014880109 |9 8410 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-54833-8 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027235251&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027235251&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027235251 | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-54833-8 |l DE-634 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-54833-8 |l DE-Aug4 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-54833-8 |l DE-M347 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-54833-8 |l DE-92 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-54833-8 |l DE-859 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-54833-8 |l DE-861 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-54833-8 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-54833-8 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-54833-8 |l DE-473 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-54833-8 |l DE-703 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-54833-8 |l DE-20 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-54833-8 |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-54833-8 |l DE-29 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-54833-8 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1820875570371624960 |
|---|---|
| adam_text |
PROGRAMMING LANGUAGES AND SYSTEMS
/
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
COMPOSABLE TRANSACTIONAL OBJECTS: A POSITION PAPER
APPLICATION-SCALE SECURE MULTIPARTY COMPUTATION
AN ARRAY-ORIENTED LANGUAGE WITH STATIC RANK POLYMORPHISM
GRADUAL TYPING FOR ANNOTATED TYPE SYSTEMS
STAGED COMPOSITION SYNTHESIS
OVERLAPPING AND ORDER-INDEPENDENT PATTERNS: DEFINITIONAL EQUALITY FOR
ALL
VERIFIED COMPILATION FOR SHARED-MEMORY C
VERIFYING AN OPEN COMPILER USING MULTI-LANGUAGE SEMANTICS
IMPREDICATIVE CONCURRENT ABSTRACT PREDICATES
LOCAL REASONING FOR THE POSIX FILE SYSTEM
A COQ FORMALIZATION OF THE RELATIONAL DATA MODEL
ON PROBABILISTIC APPLICATIVE BISIMULATION AND CALL-BY-VALUE Λ-CALCULI
GROUNDING SYNCHRONOUS DETERMINISTIC CONCURRENCY IN SEQUENTIAL
PROGRAMMING
THE DUALITY OF CONSTRUCTION
DERIVING PRETTY-BIG-STEP SEMANTICS FROM SMALL-STEP SEMANTICS
COMMUNICATING STATE TRANSITION SYSTEMS FOR FINE-GRAINED CONCURRENT
RESOURCES
CHECKING LINEARIZABILITY OF ENCAPSULATED EXTENDED OPERATIONS
BOUNDED LINEAR TYPES IN A RESOURCE SEMIRING
A CORE QUANTITATIVE COEFFECT CALCULUS
MEASUREMENTS IN PROOF NETS AS HIGHER-ORDER QUANTUM CIRCUITS
AUTOMATIC TERMINATION VERIFICATION FOR HIGHER-ORDER FUNCTIONAL PROGRAMS
AN ABSTRACT DOMAIN TO INFER ORDINAL-VALUED RANKING FUNCTIONS
MODEL AND PROOF GENERATION FOR HEAP-MANIPULATING PROGRAMS
REAP: REPORTING ERRORS USING ALTERNATIVE PATHS
THE NETWORK AS A LANGUAGE CONSTRUCT
RESOLVING NON-DETERMINISM IN CHOREOGRAPHIES
A CORRESPONDENCE BETWEEN TWO APPROACHES TO INTERPROCEDURAL ANALYSIS IN
THE PRESENCE OF JOIN
TARGETED UPDATE – AGGRESSIVE MEMORY ABSTRACTION BEYOND COMMON SENSE
AND ITS APPLICATION ON STATIC NUMERIC ANALYSIS
AFFINE PARALLELIZATION OF LOOPS WITH RUN-TIME DEPENDENT BOUNDS FROM
BINARIES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
PROGRAMMING LANGUAGES AND SYSTEMS
/
: 2014
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 23RD EUROPEAN SYMPOSIUM ON
PROGRAMMING, ESOP 2014, WHICH TOOK PLACE IN GRENOBLE, FRANCE, IN APRIL
2014, AS PART OF THE EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE
OF SOFTWARE, ETAPS 2014. THE 27 PAPERS PRESENTED IN THIS VOLUME WERE
CAREFULLY REVIEWED AND SELECTED FROM 109 SUBMISSIONS. IN ADDITION, THE
BOOK CONTAINS TWO INVITED TALKS. THE CONTRIBUTIONS ARE ORGANIZED IN
TOPICAL SECTIONS NAMED: TYPE SYSTEMS; VERIFIED COMPILATION; PROGRAM
VERIFICATION; SEMANTICS; CONCURRENCY; LINEAR TYPES; NETWORK AND PROCESS
CALCULI; AND PROGRAM ANALYSIS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)13387673X |
| building | Verbundindex |
| bvnumber | BV041789595 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 350f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)879369548 (DE-599)BVBBV041789595 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-54833-8 |
| format | Electronic Conference Proceeding eBook |
| 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">BV041789595</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140410s2014 gw d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642548326</subfield><subfield code="9">3-642-54832-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642548338</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-54833-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-54833-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642548321</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)879369548</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041789595</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-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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">23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 576 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">8410 : Advanced research in computing and software science</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">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</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">Softwaresystem</subfield><subfield code="0">(DE-588)4137282-7</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">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</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="650" ind1="0" ind2="7"><subfield code="a">Typsystem</subfield><subfield code="0">(DE-588)4625224-1</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">2014</subfield><subfield code="z">Grenoble</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Softwaresystem</subfield><subfield code="0">(DE-588)4137282-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</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="1"><subfield code="a">Typsystem</subfield><subfield code="0">(DE-588)4625224-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shao, Zhong</subfield><subfield code="d">1968-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)13387673X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ESOP</subfield><subfield code="n">23</subfield><subfield code="d">2014</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1049312724</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">17</subfield><subfield code="d">2014</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1048714993</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-54832-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8410 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8410</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-54833-8</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027235251&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027235251&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027235251</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-54833-8</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-54833-8</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-54833-8</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-54833-8</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-54833-8</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-54833-8</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-54833-8</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-54833-8</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-54833-8</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-54833-8</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-54833-8</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-54833-8</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-54833-8</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-54833-8</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2014 Grenoble gnd-content |
| genre_facet | Konferenzschrift 2014 Grenoble |
| id | DE-604.BV041789595 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:17:44Z |
| institution | BVB |
| institution_GND | (DE-588)1049312724 (DE-588)1048714993 |
| isbn | 3642548326 9783642548338 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027235251 |
| oclc_num | 879369548 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-861 DE-634 |
| owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-861 DE-634 |
| physical | 1 Online-Ressource (XIII, 576 S.) graph. Darst. |
| psigel | ZDB-2-LNC |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Programming languages and systems 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings Berlin [u.a.] Springer 2014 1 Online-Ressource (XIII, 576 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8410 : Advanced research in computing and software science Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Softwaresystem (DE-588)4137282-7 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Typsystem (DE-588)4625224-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Grenoble gnd-content Programmverifikation (DE-588)4135576-3 s Programmanalyse (DE-588)4175841-9 s Nebenläufigkeit (DE-588)4115352-2 s Programmierlogik (DE-588)4047408-2 s Softwaresystem (DE-588)4137282-7 s Model Checking (DE-588)4434799-6 s DE-604 Programmiersprache (DE-588)4047409-4 s Typsystem (DE-588)4625224-1 s Formale Methode (DE-588)4333722-3 s 1\p DE-604 Shao, Zhong 1968- Sonstige (DE-588)13387673X oth ESOP 23 2014 Grenoble Sonstige (DE-588)1049312724 oth ETAPS 17 2014 Grenoble Sonstige (DE-588)1048714993 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-54832-1 Lecture notes in computer science 8410 : Advanced research in computing and software science (DE-604)BV014880109 8410 https://doi.org/10.1007/978-3-642-54833-8 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027235251&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027235251&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Programming languages and systems 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Programmierlogik (DE-588)4047408-2 gnd Programmanalyse (DE-588)4175841-9 gnd Softwaresystem (DE-588)4137282-7 gnd Programmverifikation (DE-588)4135576-3 gnd Model Checking (DE-588)4434799-6 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Programmiersprache (DE-588)4047409-4 gnd Typsystem (DE-588)4625224-1 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4047408-2 (DE-588)4175841-9 (DE-588)4137282-7 (DE-588)4135576-3 (DE-588)4434799-6 (DE-588)4115352-2 (DE-588)4047409-4 (DE-588)4625224-1 (DE-588)1071861417 |
| title | Programming languages and systems 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings |
| title_auth | Programming languages and systems 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings |
| title_exact_search | Programming languages and systems 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings |
| title_full | Programming languages and systems 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings |
| title_fullStr | Programming languages and systems 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings |
| title_full_unstemmed | Programming languages and systems 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings |
| title_short | Programming languages and systems |
| title_sort | programming languages and systems 23rd european symposium on programming esop 2014 held as part of the european joint conferences on theory and practice of software etaps 2014 grenoble france april 5 13 2014 proceedings |
| title_sub | 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Programmierlogik (DE-588)4047408-2 gnd Programmanalyse (DE-588)4175841-9 gnd Softwaresystem (DE-588)4137282-7 gnd Programmverifikation (DE-588)4135576-3 gnd Model Checking (DE-588)4434799-6 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Programmiersprache (DE-588)4047409-4 gnd Typsystem (DE-588)4625224-1 gnd |
| topic_facet | Formale Methode Programmierlogik Programmanalyse Softwaresystem Programmverifikation Model Checking Nebenläufigkeit Programmiersprache Typsystem Konferenzschrift 2014 Grenoble |
| url | https://doi.org/10.1007/978-3-642-54833-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027235251&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027235251&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT shaozhong programminglanguagesandsystems23rdeuropeansymposiumonprogrammingesop2014heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2014grenoblefranceapril5132014proceedings AT esopgrenoble programminglanguagesandsystems23rdeuropeansymposiumonprogrammingesop2014heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2014grenoblefranceapril5132014proceedings AT etapsgrenoble programminglanguagesandsystems23rdeuropeansymposiumonprogrammingesop2014heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2014grenoblefranceapril5132014proceedings |