Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2015
|
| Series: | Lecture Notes in Computer Science
9032 |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (XIV, 838 p.) Ill. |
| ISBN: | 9783662466698 9783662466681 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-662-46669-8 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042482199 | ||
| 003 | DE-604 | ||
| 005 | 20150716 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150402s2015 xx a||| o|||| 10||| eng d | ||
| 020 | |a 9783662466698 |c Online |9 978-3-662-46669-8 | ||
| 020 | |a 9783662466681 |c Print |9 978-3-662-46668-1 | ||
| 024 | 7 | |a 10.1007/978-3-662-46669-8 |2 doi | |
| 035 | |a (OCoLC)907014333 | ||
| 035 | |a (DE-599)BVBBV042482199 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-29 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a DAT 350f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Programming Languages and Systems |b 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings |c edited by Jan Vitek |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2015 | |
| 300 | |a 1 Online-Ressource (XIV, 838 p.) |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9032 |x 0302-9743 | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |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 Typsystem |0 (DE-588)4625224-1 |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 2015 |z London |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 1 | |a Typsystem |0 (DE-588)4625224-1 |D s |
| 689 | 0 | 2 | |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 | |5 DE-604 | |
| 700 | 1 | |a Vitek, Jan |d 1966- |e Sonstige |0 (DE-588)1069965146 |4 oth | |
| 711 | 2 | |a ESOP |n 24. |d 2015 |c London |j Sonstige |0 (DE-588)1069965677 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9032 |w (DE-604)BV014880109 |9 9032 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-46669-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=027917158&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=027917158&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027917158 | |
Record in the Search Index
| _version_ | 1820875658853613568 |
|---|---|
| adam_text |
PROGRAMMING LANGUAGES AND SYSTEMS
/ VITEK, JAN
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PROBABILISTIC PROGRAMS AS SPREADSHEET QUERIES
STATIC ANALYSIS OF SPREADSHEET APPLICATIONS FOR TYPE-UNSAFE OPERATIONS
DETECTION
RUNNING PROBABILISTIC PROGRAMS BACKWARDS
A VERIFIED COMPILER FOR PROBABILITY DENSITY FUNCTIONS
SEGMENT ABSTRACTION FOR WORST-CASE EXECUTION TIME ANALYSIS
AUTOMATIC STATIC COST ANALYSIS FOR PARALLEL PROGRAMS
SOUND, MODULAR AND COMPOSITIONAL VERIFICATION OF THE INPUT/OUTPUT
BEHAVIOR OF PROGRAMS
UNRESTRICTED TERMINATION AND NON-TERMINATION ARGUMENTS FOR BIT-VECTOR
PROGRAMS. A THEORY OF NAME RESOLUTION
A CORE CALCULUS FOR XQUERY 3.0: COMBINING NAVIGATIONAL AND PATTERN
MATCHING APPROACHES
ISOLATE: A TYPE SYSTEM FOR SELF-RECURSION
THE PROBLEM OF PL CONCURRENCY SEMANTICS
THE BEST OF BOTH WORLDS: TRADING EFFICIENCY AND OPTIMALITY IN FENCE
INSERTION FOR TSO
SPECIFYING AND VERIFYING CONCURRENT ALGORITHMS WITH HISTORIES AND
SUBJECTIVITY
WITNESSING (CO)DATATYPES
MAKING RANDOM JUDGMENTS: AUTOMATICALLY GENERATING WELL-TYPED TERMS FROM
THE DEFINITION OF A TYPE-SYSTEM
REFINEMENT TYPES FOR INCREMENTAL COMPUTATIONAL COMPLEXITY
MONOTONIC REFERENCES FOR EFFICIENT GRADUAL TYPING
INTER-PROCEDURAL TWO-VARIABLE HERBRAND EQUALITIES
DESYNCHRONIZED MULTI-STATE ABSTRACTIONS FOR OPEN PROGRAMS IN DYNAMIC
LANGUAGES
FINE-GRAINED DETECTION OF PRIVILEGE ESCALATION ATTACKS ON BROWSER
EXTENSIONS
ANALYSIS OF ASYNCHRONOUS PROGRAMS WITH EVENT-BASED SYNCHRONIZATION
A SEMANTICS FOR PROPOSITIONS AS SESSIONS
COMPOSITE REPLICATED DATA TYPES
RELAXED STRATIFICATION: A NEW APPROACH TO PRACTICAL COMPLETE PREDICATE
REFINEMENT
SPATIAL INTERPOLANTS
PROPOSITIONAL REASONING ABOUT SAFETY AND TERMINATION OF
HEAP-MANIPULATING PROGRAMS
FULL REDUCTION IN THE FACE OF ABSURDITY
COLOSL: CONCURRENT LOCAL SUBJECTIVE LOGIC
A SEPARATION LOGIC FOR FICTIONAL SEQUENTIAL CONSISTENCY
BINDING STRUCTURES AS AN ABSTRACT DATA TYPE
TYPE-BASED ALLOCATION ANALYSIS FOR CO-RECURSION IN LAZY FUNCTIONAL
LANGUAGES
TYPE TARGETED TESTING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
PROGRAMMING LANGUAGES AND SYSTEMS
/ VITEK, JAN
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 24TH EUROPEAN SYMPOSIUM ON
PROGRAMMING, ESOP 2015, WHICH TOOK PLACE IN LONDON, UK, IN APRIL 2015,
HELD AS PART OF THE EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF
SOFTWARE, ETAPS 2015. THE 33 PAPERS PRESENTED IN THIS VOLUME WERE
CAREFULLY REVIEWED AND SELECTED FROM 113 SUBMISSIONS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)1069965146 |
| building | Verbundindex |
| bvnumber | BV042482199 |
| classification_rvk | ST 250 |
| classification_tum | DAT 350f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)907014333 (DE-599)BVBBV042482199 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-662-46669-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 a2200000zcb4500</leader><controlfield tag="001">BV042482199</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150716</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150402s2015 xx a||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662466698</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-46669-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662466681</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-662-46668-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-46669-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)907014333</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042482199</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</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">24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings</subfield><subfield code="c">edited by Jan Vitek</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 838 p.)</subfield><subfield code="b">Ill.</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">9032</subfield><subfield code="x">0302-9743</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">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">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">Typsystem</subfield><subfield code="0">(DE-588)4625224-1</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">2015</subfield><subfield code="z">London</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">Typsystem</subfield><subfield code="0">(DE-588)4625224-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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="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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vitek, Jan</subfield><subfield code="d">1966-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1069965146</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ESOP</subfield><subfield code="n">24.</subfield><subfield code="d">2015</subfield><subfield code="c">London</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1069965677</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">9032</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9032</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-46669-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=027917158&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=027917158&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="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027917158</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 London gnd-content |
| genre_facet | Konferenzschrift 2015 London |
| id | DE-604.BV042482199 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:19:08Z |
| institution | BVB |
| institution_GND | (DE-588)1069965677 |
| isbn | 9783662466698 9783662466681 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027917158 |
| oclc_num | 907014333 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-706 DE-20 DE-739 DE-92 DE-29 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-706 DE-20 DE-739 DE-92 DE-29 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XIV, 838 p.) Ill. |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings edited by Jan Vitek Berlin, Heidelberg Springer Berlin Heidelberg 2015 1 Online-Ressource (XIV, 838 p.) Ill. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9032 0302-9743 Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Typsystem (DE-588)4625224-1 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 London gnd-content Programmiersprache (DE-588)4047409-4 s Typsystem (DE-588)4625224-1 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 Vitek, Jan 1966- Sonstige (DE-588)1069965146 oth ESOP 24. 2015 London Sonstige (DE-588)1069965677 oth Lecture Notes in Computer Science 9032 (DE-604)BV014880109 9032 https://doi.org/10.1007/978-3-662-46669-8 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027917158&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=027917158&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings Lecture Notes in Computer Science Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Typsystem (DE-588)4625224-1 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4135576-3 (DE-588)4115352-2 (DE-588)4625224-1 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings |
| title_auth | Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings |
| title_exact_search | Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings |
| title_full | Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings edited by Jan Vitek |
| title_fullStr | Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings edited by Jan Vitek |
| title_full_unstemmed | Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings edited by Jan Vitek |
| title_short | Programming Languages and Systems |
| title_sort | programming languages and systems 24th european symposium on programming esop 2015 held as part of the european joint conferences on theory and practice of software etaps 2015 london uk april 11 18 2015 proceedings |
| title_sub | 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Typsystem (DE-588)4625224-1 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Formale Methode Programmanalyse Programmverifikation Nebenläufigkeit Typsystem Programmiersprache Konferenzschrift 2015 London |
| url | https://doi.org/10.1007/978-3-662-46669-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027917158&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=027917158&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT vitekjan programminglanguagesandsystems24theuropeansymposiumonprogrammingesop2015heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2015londonukapril11182015proceedings AT esoplondon programminglanguagesandsystems24theuropeansymposiumonprogrammingesop2015heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2015londonukapril11182015proceedings |