Programming languages and systems: 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2013
|
| Series: | Lecture notes in computer science
7792 : Advanced research in computing and software science |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (X, 620 S.) graph. Darst. |
| ISBN: | 9783642370359 9783642370366 |
| DOI: | 10.1007/978-3-642-37036-6 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041388365 | ||
| 003 | DE-604 | ||
| 005 | 20140228 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131029s2013 xx d||| o|||| 10||| eng d | ||
| 020 | |a 9783642370359 |9 978-3-642-37035-9 | ||
| 020 | |a 9783642370366 |c Online |9 978-3-642-37036-6 | ||
| 024 | 7 | |a 10.1007/978-3-642-37036-6 |2 doi | |
| 035 | |a (OCoLC)874373310 | ||
| 035 | |a (DE-599)BVBBV041388365 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 005.1 | |
| 084 | |a DAT 350f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Programming languages and systems |b 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings |c Matthias Felleisen ...(eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (X, 620 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 7792 : 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 Model Checking |0 (DE-588)4434799-6 |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 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 2013 |z Rom |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 Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | 1 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 1 | 2 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 1 | 3 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 1 | 4 | |a Softwaresystem |0 (DE-588)4137282-7 |D s |
| 689 | 1 | 5 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Felleisen, Matthias |e Sonstige |4 oth | |
| 711 | 2 | |a ESOP |n 22 |d 2013 |c Rom |j Sonstige |0 (DE-588)1033699764 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 7792 : Advanced research in computing and software science |w (DE-604)BV014880109 |9 7792 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-37036-6 |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=026836210&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=026836210&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026836210 | |
Record in the Search Index
| _version_ | 1820875480415338496 |
|---|---|
| adam_text |
PROGRAMMING LANGUAGES AND SYSTEMS
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
DISTRIBUTED ELECTRONIC RIGHTS IN JAVASCRIPT
THE COMPILER FOREST
PRETTY-BIG-STEP SEMANTICS
LANGUAGE CONSTRUCTS FOR NON-WELL-FOUNDED COMPUTATION
LAZINESS BY NEED
FLIPPR: A PRETTIER INVERTIBLE PRINTING SYSTEM
SLICING-BASED TRACE ANALYSIS OF REWRITING LOGIC SPECIFICATIONS WITH
IJULIENNE
WHY3 — WHERE PROGRAMS MEET PROVERS
COMPOSITIONAL INVARIANT CHECKING FOR OVERLAID AND NESTED LINKED LISTS
A DISCIPLINE FOR PROGRAM VERIFICATION BASED ON BACKPOINTERS AND ITS USE
IN OBSERVATIONAL DISJOINTNESS
MODULAR REASONING ABOUT SEPARATION OF CONCURRENT DATA STRUCTURES
RIBBON PROOFS FOR SEPARATION LOGIC
ABSTRACT REFINEMENT TYPES
CONSTRAINING DELIMITED CONTROL WITH CONTRACTS
VERIFYING CONCURRENT MEMORY RECLAMATION ALGORITHMS WITH GRACE
INTERLEAVING AND LOCK-STEP SEMANTICS FOR ANALYSIS AND VERIFICATION OF
GPU KERNELS
VERIFYING CONCURRENT PROGRAMS AGAINST SEQUENTIAL SPECIFICATIONS
ON DISTRIBUTABILITY IN PROCESS CALCULI
BEHAVIORAL POLYMORPHISM AND PARAMETRICITY IN SESSION-BASED COMMUNICATION
HIGHER-ORDER PROCESSES, FUNCTIONS, AND SESSIONS: A MONADIC INTEGRATION
CONCURRENT FLEXIBLE REVERSIBILITY
STRUCTURAL LOCK CORRELATION WITH OWNERSHIP TYPES
TAMING CONFUSION FOR MODELING AND IMPLEMENTING PROBABILISTIC CONCURRENT
SYSTEMS
MODEL-CHECKING HIGHER-ORDER PROGRAMS WITH RECURSIVE TYPES
COUNTEREXAMPLE-GUIDED PRECONDITION INFERENCE
INFORMATION REUSE FOR MULTI-GOAL REACHABILITY ANALYSES
QUARANTINING WEAKNESS: COMPOSITIONAL REASONING UNDER RELAXED MEMORY
MODELS (EXTENDED ABSTRACT)
SOFTWARE VERIFICATION FOR WEAK MEMORY VIA PROGRAM TRANSFORMATION
CHECKING AND ENFORCING ROBUSTNESS AGAINST TSO
GADTS MEET SUBTYPING
A DATA DRIVEN APPROACH FOR ALGEBRAIC LOOP INVARIANTS
AUTOMATIC TYPE INFERENCE FOR AMORTISED HEAP-SPACE ANALYSIS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
PROGRAMMING LANGUAGES AND SYSTEMS
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 22ND EUROPEAN
SYMPOSIUM ON PROGRAMMING, ESOP 2013, HELD AS PART OF THE EUROPEAN JOINT
CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE, ETAPS 2013, WHICH TOOK
PLACE IN ROME, ITALY, IN MARCH 2013. THE 31 PAPERS, PRESENTED TOGETHER
WITH A FULL-LENGTH INVITED TALK, WERE CAREFULLY REVIEWED AND SELECTED
FROM 120 FULL SUBMISSIONS. THE CONTRIBUTIONS HAVE BEEN ORGANIZED
ACCORDING TO TEN TOPICAL SECTIONS ON PROGRAMMING TECHNIQUES; PROGRAMMING
TOOLS; SEPARATION LOGIC; GRADUAL TYPING; SHARED-MEMORY CONCURRENCY AND
VERIFICATION; PROCESS CALCULI; TAMING CONCURRENCY; MODEL CHECKING AND
VERIFICATION; WEAK-MEMORY CONCURRENCY AND VERIFICATION; AND TYPES,
INFERENCE, AND ANALYSIS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV041388365 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 350f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)874373310 (DE-599)BVBBV041388365 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-37036-6 |
| 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">BV041388365</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140228</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131029s2013 xx d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642370359</subfield><subfield code="9">978-3-642-37035-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642370366</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-37036-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-37036-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)874373310</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041388365</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-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</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-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</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 000</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">22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings</subfield><subfield code="c">Matthias Felleisen ...(eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 620 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">7792 : 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">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">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">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">2013</subfield><subfield code="z">Rom</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">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" 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="1" 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="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Felleisen, Matthias</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ESOP</subfield><subfield code="n">22</subfield><subfield code="d">2013</subfield><subfield code="c">Rom</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1033699764</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">7792 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7792</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-37036-6</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=026836210&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=026836210&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</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-026836210</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Rom gnd-content |
| genre_facet | Konferenzschrift 2013 Rom |
| id | DE-604.BV041388365 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:16:18Z |
| institution | BVB |
| institution_GND | (DE-588)1033699764 |
| isbn | 9783642370359 9783642370366 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026836210 |
| oclc_num | 874373310 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (X, 620 S.) graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings Matthias Felleisen ...(eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (X, 620 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7792 : 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 Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaresystem (DE-588)4137282-7 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Rom gnd-content Programmiersprache (DE-588)4047409-4 s Formale Methode (DE-588)4333722-3 s DE-604 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 Felleisen, Matthias Sonstige oth ESOP 22 2013 Rom Sonstige (DE-588)1033699764 oth Lecture notes in computer science 7792 : Advanced research in computing and software science (DE-604)BV014880109 7792 https://doi.org/10.1007/978-3-642-37036-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026836210&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=026836210&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; 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 Model Checking (DE-588)4434799-6 gnd Softwaresystem (DE-588)4137282-7 gnd Programmverifikation (DE-588)4135576-3 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4047408-2 (DE-588)4175841-9 (DE-588)4434799-6 (DE-588)4137282-7 (DE-588)4135576-3 (DE-588)4115352-2 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings |
| title_auth | Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings |
| title_exact_search | Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings |
| title_full | Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings Matthias Felleisen ...(eds.) |
| title_fullStr | Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings Matthias Felleisen ...(eds.) |
| title_full_unstemmed | Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings Matthias Felleisen ...(eds.) |
| title_short | Programming languages and systems |
| title_sort | programming languages and systems 22nd european symposium on programming esop 2013 held as part of the european joint conferences on theory and practice of software etaps 2013 rome italy march 16 24 2013 proceedings |
| title_sub | 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Programmierlogik (DE-588)4047408-2 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Softwaresystem (DE-588)4137282-7 gnd Programmverifikation (DE-588)4135576-3 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Formale Methode Programmierlogik Programmanalyse Model Checking Softwaresystem Programmverifikation Nebenläufigkeit Programmiersprache Konferenzschrift 2013 Rom |
| url | https://doi.org/10.1007/978-3-642-37036-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026836210&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=026836210&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT felleisenmatthias programminglanguagesandsystems22ndeuropeansymposiumonprogrammingesop2013heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2013romeitalymarch16242013proceedings AT esoprom programminglanguagesandsystems22ndeuropeansymposiumonprogrammingesop2013heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2013romeitalymarch16242013proceedings |