ECOOP 2014 - object-oriented programming: 28th European conference, Uppsala, Sweden, July 28 - August 1, 2014 ; proceedings
Gespeichert in:
Körperschaft: | |
---|---|
Format: | Tagungsbericht Buch |
Sprache: | English |
Veröffentlicht: |
Heidelberg [u.a.]
Springer
2014
|
Schriftenreihe: | Lecture notes in computer science
8586 : Advanced research in computing and software science |
Schlagworte: | |
Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
Beschreibung: | XXV, 698 S. graph. Darst. 235 mm x 155 mm |
ISBN: | 3662442019 9783662442012 |
Internformat
MARC
LEADER | 00000nam a22000008cb4500 | ||
---|---|---|---|
001 | BV042070735 | ||
003 | DE-604 | ||
005 | 20150408 | ||
007 | t| | ||
008 | 140911s2014 gw d||| |||| 10||| eng d | ||
015 | |a 14,N26 |2 dnb | ||
016 | 7 | |a 1052357253 |2 DE-101 | |
020 | |a 3662442019 |9 3-662-44201-9 | ||
020 | |a 9783662442012 |c Pb. : ca. EUR 94.16 (DE) (freier Pr.), ca. EUR 96.80 (AT) (freier Pr.), ca. sfr 117.50 (freier Pr.) |9 978-3-662-44201-2 | ||
024 | 3 | |a 9783662442012 | |
028 | 5 | 2 | |a Best.-Nr.: 86375865 |
035 | |a (OCoLC)895138053 | ||
035 | |a (DE-599)DNB1052357253 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
044 | |a gw |c XA-DE-BW | ||
049 | |a DE-83 |a DE-11 |a DE-91G |a DE-1050 | ||
082 | 0 | |a 005.11 |2 23 | |
084 | |a ST 231 |0 (DE-625)143618: |2 rvk | ||
084 | |a DAT 315f |2 stub | ||
084 | |a 004 |2 sdnb | ||
111 | 2 | |a ECOOP |n 28. |d 2014 |c Uppsala |j Verfasser |0 (DE-588)1058844954 |4 aut | |
245 | 1 | 0 | |a ECOOP 2014 - object-oriented programming |b 28th European conference, Uppsala, Sweden, July 28 - August 1, 2014 ; proceedings |c Richard Jones (ed.) |
264 | 1 | |a Heidelberg [u.a.] |b Springer |c 2014 | |
300 | |a XXV, 698 S. |b graph. Darst. |c 235 mm x 155 mm | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science |v 8586 : Advanced research in computing and software science | |
650 | 0 | 7 | |a Objektorientierte Programmiersprache |0 (DE-588)4172311-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Objektorientierte Programmierung |0 (DE-588)4233947-9 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2014 |z Uppsala |2 gnd-content | |
689 | 0 | 0 | |a Objektorientierte Programmierung |0 (DE-588)4233947-9 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Objektorientierte Programmiersprache |0 (DE-588)4172311-9 |D s |
689 | 1 | |5 DE-604 | |
700 | 1 | |a Jones, Richard |d 1954- |e Sonstige |0 (DE-588)1026352312 |4 oth | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-662-44202-9 |
830 | 0 | |a Lecture notes in computer science |v 8586 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 8586 | |
856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4694020&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=027511405&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027511405 |
Datensatz im Suchindex
_version_ | 1820875590460243968 |
---|---|
adam_text |
TABLE OF CONTENTS
ANALYSIS
STATE-SENSITIVE POINTS-TO ANALYSIS FOR THE DYNAMIC BEHAVIOR OF
JAVASCRIPT OBJECTS 1
SHIYI WEI AND BARBARA G. RYDER
SELF-INFERENCING REFLECTION RESOLUTION FOR JAVA 27
YUE LI, TIAN TAN, YULEI SUI, AND JINGLING XUE
. CONSTRUCTING CALL GRAPHS OF SCALA PROGRAMS 54
KARIM ALI, MARIANNA RAPOPORT, ONDFEJ LHOTAK, JULIAN DOLBY, AND
FRANK TIP
FINDING REFERENCE-COUNTING ERRORS IN PYTHON/C PROGRAMS WITH AFFINE
ANALYSIS 80
SILIANG LI AND GANG TAN
DESIGN
SAFELY COMPOSABLE TYPE-SPECIFIC LANGUAGES 105
CYRUS OMAR, DARYA KURILOVA, LIGIA NISTOR, BENJAMIN CHUNG,
ALEX POTANIN, AND JONATHAN ALDRICH
I GRACEFUL DIALECTS 131
MICHAEL HOMER, TIMOTHY JONES, JAMES NOBLE, KIM B. BRUCE, AND
ANDREW P. BLACK
STRUCTURING DOCUMENTATION TO SUPPORT STATE SEARCH: A LABORATORY
EXPERIMENT ABOUT PROTOCOL PROGRAMMING 157
JOSHUA SUNSHINE, JAMES D. HERBSLEB, AND JONATHAN ALDRICH
CONCURRENCY
REUSABLE CONCURRENT DATA TYPES 182
VINCENT GRAMOLI AND RACHID GUERRAOUI
TADA: A LOGIC FOR TIME AND DATA ABSTRACTION 207
PEDRO DA ROCHA PINTO, THOMAS DINSDALE-YOUNG, AND
PHILIPPA GARDNER
INFRASTRUCTURE-FREE LOGGING AND REPLAY OF CONCURRENT EXECUTION ON
MULTIPLE CORES 232
KYU HYUNG LEE, DOHYEONG KIM, AND XIANGYU ZHANG
HTTP://D-NB.INFO/1052357253
XXIV TABLE OF CONTENTS
TYPES
UNDERSTANDING TYPESCRIPT 257
GAVIN BIERMAN, MARTIN ABADI, AND MADS TORGERSEN
F
SOUND AND COMPLETE SUBTYPING BETWEEN COINDUCTIVE TYPES FOR
OBJECT-ORIENTED LANGUAGES 282
DAVIDE ANCONA AND ANDREA CORRADI
SPORES: A TYPE-BASED FOUNDATION FOR CLOSURES IN THE AGE OF
CONCURRENCY AND DISTRIBUTION 308
HEATHER MILLER, PHILIPP HALLER, AND MARTIN ODERSKY
RELY-GUARANTEE PROTOCOLS 334
FILIPE MILITAO, JONATHAN ALDRICH, AND LUIS CAIRES
IMPLEMENTATION
STREAM PROCESSING WITH A SPREADSHEET 360
MANDANA VAZIRI, OLIVIER TARDIEU, RODRIC RABBAH,
PHILIPPE SUTER, AND MARTIN HIRZEL
IMPLICIT STAGING OF EDSL EXPRESSIONS: A BRIDGE BETWEEN SHALLOW AND
DEEP EMBEDDING 385
MAXIMILIAN SCHERR AND SHIGERU CHIBA
I BABELSBERG/JS: A BROWSER-BASED IMPLEMENTATION OF AN OBJECT
CONSTRAINT LANGUAGE 411
TIM FELGENTREFF, ALAN BORNING, ROBERT HIRSCHFELD, JENS LINCKE,
YOSHIKI OHSHIMA, BERT FREUDENBERG, AND ROBERT KRAHN
REFACTORING
I AUTOMATED MULTI-LANGUAGE ARTIFACT BINDING AND RENAME REFACTORING
BETWEEN JAVA AND DSLS USED BY JAVA FRAMEWORKS 437
PHILIP MAYER AND ANDREAS SCHROEDER
RETARGETTING LEGACY BROWSER EXTENSIONS TO MODERN EXTENSION
FRAMEWORKS 463
REZWANA KARIM, MOHAN DHAWAN, AND VINOD GANAPATHY
I CAPTURE-AVOIDING AND HYGIENIC PROGRAM TRANSFORMATIONS 489
SEBASTIAN ERDWEG, TIJS VAN DER STORM, AND YI DAI
CONVERTING PARALLEL CODE FROM LOW-LEVEL ABSTRACTIONS TO HIGHER-LEVEL
ABSTRACTIONS 515
SEMIH OKUR, CANSU ERDOGAN, AND DANNY DIG
TABLE OF CONTENTS XXV
JAVASCRIPT, PHP AND FRAMEWORKS
I PORTABLE AND EFFICIENT RUN-TIME MONITORING OF JAVASCRIPT APPLICATIONS
USING VIRTUAL MACHINE LAYERING 541
ERICH LAVOIE, BRUNO DUFOUR, AND MARC FEELEY
I AN EXECUTABLE FORMAL SEMANTICS OF PHP 567
DANIELE FILARETTI AND SERGIO MAFFEIS
IDENTIFYING MANDATORY CODE FOR FRAMEWORK USE VIA A SINGLE
APPLICATION TRACE 593
NAOYA NITTA, IZURU KUME, AND YASUHIRO TAKEMURA
PARALLELISM
COOPERATIVE SCHEDULING OF PARALLEL TASKS WITH GENERAL SYNCHRONIZATION
PATTERNS 618
SHAMS IMAM AND VIVEK SARKAR
|
MICA: A COMPOSITIONAL ARCHITECTURE FOR GOSSIP PROTOCOLS 644
LONNIE PRINCEHOUSE, RAKESH CHENCHU, ZHEFU JIANG,
KENNETH P. BIRMAN, NATE FOSTER, AND ROBERT SOULE
|
SEMANTICS OF (RESILIENT) X10 670
SILVIA CRAFA, DAVID CUNNINGHAM, VIJAY SARASWAT,
AVRAHAM SHINNAR, AND OLIVIER TARDIEU
AUTHOR INDEX 697 |
any_adam_object | 1 |
author_GND | (DE-588)1026352312 |
author_corporate | ECOOP Uppsala |
author_corporate_role | aut |
author_facet | ECOOP Uppsala |
author_sort | ECOOP Uppsala |
building | Verbundindex |
bvnumber | BV042070735 |
classification_rvk | ST 231 |
classification_tum | DAT 315f |
ctrlnum | (OCoLC)895138053 (DE-599)DNB1052357253 |
dewey-full | 005.11 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.11 |
dewey-search | 005.11 |
dewey-sort | 15.11 |
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 a22000008cb4500</leader><controlfield tag="001">BV042070735</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150408</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">140911s2014 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">14,N26</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1052357253</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3662442019</subfield><subfield code="9">3-662-44201-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662442012</subfield><subfield code="c">Pb. : ca. EUR 94.16 (DE) (freier Pr.), ca. EUR 96.80 (AT) (freier Pr.), ca. sfr 117.50 (freier Pr.)</subfield><subfield code="9">978-3-662-44201-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783662442012</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86375865</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)895138053</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1052357253</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-BW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-1050</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.11</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 231</subfield><subfield code="0">(DE-625)143618:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 315f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">ECOOP</subfield><subfield code="n">28.</subfield><subfield code="d">2014</subfield><subfield code="c">Uppsala</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1058844954</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">ECOOP 2014 - object-oriented programming</subfield><subfield code="b">28th European conference, Uppsala, Sweden, July 28 - August 1, 2014 ; proceedings</subfield><subfield code="c">Richard Jones (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXV, 698 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">8586 : Advanced research in computing and software science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierte Programmiersprache</subfield><subfield code="0">(DE-588)4172311-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</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">Uppsala</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</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">Objektorientierte Programmiersprache</subfield><subfield code="0">(DE-588)4172311-9</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">Jones, Richard</subfield><subfield code="d">1954-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1026352312</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-662-44202-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8586 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">8586</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4694020&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=027511405&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-027511405</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2014 Uppsala gnd-content |
genre_facet | Konferenzschrift 2014 Uppsala |
id | DE-604.BV042070735 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:18:03Z |
institution | BVB |
institution_GND | (DE-588)1058844954 |
isbn | 3662442019 9783662442012 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027511405 |
oclc_num | 895138053 |
open_access_boolean | |
owner | DE-83 DE-11 DE-91G DE-BY-TUM DE-1050 |
owner_facet | DE-83 DE-11 DE-91G DE-BY-TUM DE-1050 |
physical | XXV, 698 S. graph. Darst. 235 mm x 155 mm |
publishDate | 2014 |
publishDateSearch | 2014 |
publishDateSort | 2014 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | ECOOP 28. 2014 Uppsala Verfasser (DE-588)1058844954 aut ECOOP 2014 - object-oriented programming 28th European conference, Uppsala, Sweden, July 28 - August 1, 2014 ; proceedings Richard Jones (ed.) Heidelberg [u.a.] Springer 2014 XXV, 698 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 8586 : Advanced research in computing and software science Objektorientierte Programmiersprache (DE-588)4172311-9 gnd rswk-swf Objektorientierte Programmierung (DE-588)4233947-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Uppsala gnd-content Objektorientierte Programmierung (DE-588)4233947-9 s DE-604 Objektorientierte Programmiersprache (DE-588)4172311-9 s Jones, Richard 1954- Sonstige (DE-588)1026352312 oth Erscheint auch als Online-Ausgabe 978-3-662-44202-9 Lecture notes in computer science 8586 : Advanced research in computing and software science (DE-604)BV000000607 8586 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4694020&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=027511405&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | ECOOP 2014 - object-oriented programming 28th European conference, Uppsala, Sweden, July 28 - August 1, 2014 ; proceedings Lecture notes in computer science Objektorientierte Programmiersprache (DE-588)4172311-9 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd |
subject_GND | (DE-588)4172311-9 (DE-588)4233947-9 (DE-588)1071861417 |
title | ECOOP 2014 - object-oriented programming 28th European conference, Uppsala, Sweden, July 28 - August 1, 2014 ; proceedings |
title_auth | ECOOP 2014 - object-oriented programming 28th European conference, Uppsala, Sweden, July 28 - August 1, 2014 ; proceedings |
title_exact_search | ECOOP 2014 - object-oriented programming 28th European conference, Uppsala, Sweden, July 28 - August 1, 2014 ; proceedings |
title_full | ECOOP 2014 - object-oriented programming 28th European conference, Uppsala, Sweden, July 28 - August 1, 2014 ; proceedings Richard Jones (ed.) |
title_fullStr | ECOOP 2014 - object-oriented programming 28th European conference, Uppsala, Sweden, July 28 - August 1, 2014 ; proceedings Richard Jones (ed.) |
title_full_unstemmed | ECOOP 2014 - object-oriented programming 28th European conference, Uppsala, Sweden, July 28 - August 1, 2014 ; proceedings Richard Jones (ed.) |
title_short | ECOOP 2014 - object-oriented programming |
title_sort | ecoop 2014 object oriented programming 28th european conference uppsala sweden july 28 august 1 2014 proceedings |
title_sub | 28th European conference, Uppsala, Sweden, July 28 - August 1, 2014 ; proceedings |
topic | Objektorientierte Programmiersprache (DE-588)4172311-9 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd |
topic_facet | Objektorientierte Programmiersprache Objektorientierte Programmierung Konferenzschrift 2014 Uppsala |
url | http://deposit.dnb.de/cgi-bin/dokserv?id=4694020&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=027511405&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT ecoopuppsala ecoop2014objectorientedprogramming28theuropeanconferenceuppsalaswedenjuly28august12014proceedings AT jonesrichard ecoop2014objectorientedprogramming28theuropeanconferenceuppsalaswedenjuly28august12014proceedings |