Ecoop 2013 - object oriented programming: 27th European conference, Montpellier, France, July 1 - 5, 2013 ; proceedings
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2013
|
| Series: | Lecture notes in computer science
7920 |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (XXI, 746 S.) graph. Darst. |
| ISBN: | 9783642390371 9783642390388 |
| DOI: | 10.1007/978-3-642-39038-8 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041412776 | ||
| 003 | DE-604 | ||
| 005 | 20140212 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131113s2013 xx d||| o|||| 10||| eng d | ||
| 020 | |a 9783642390371 |c print |9 978-3-642-39037-1 | ||
| 020 | |a 9783642390388 |c online |9 978-3-642-39038-8 | ||
| 024 | 7 | |a 10.1007/978-3-642-39038-8 |2 doi | |
| 035 | |a (OCoLC)855544238 | ||
| 035 | |a (DE-599)BVBBV041412776 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 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-739 |a DE-859 |a DE-91 |a DE-706 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 005.11 | |
| 084 | |a DAT 315f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Ecoop 2013 - object oriented programming |b 27th European conference, Montpellier, France, July 1 - 5, 2013 ; proceedings |c Giuseppe Castagna (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XXI, 746 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 7920 | |
| 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 2013 |z Montpellier |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 Castagna, Giuseppe |d 1966- |e Sonstige |0 (DE-588)173051278 |4 oth | |
| 711 | 2 | |a ECOOP |n 27 |d 2013 |c Montpellier |j Sonstige |0 (DE-588)1036675866 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 7920 |w (DE-604)BV014880109 |9 7920 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-39038-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=026860034&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=026860034&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-026860034 | |
Record in the Search Index
| _version_ | 1820875517784489984 |
|---|---|
| adam_text |
ECOOP 2013 – OBJECT-ORIENTED PROGRAMMING
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
ASPECTS, COMPONENTS, AND MODULARITY
COCO: SOUND AND ADAPTIVE REPLACEMENT OF JAVA COLLECTIONS
FEATURE-ORIENTED PROGRAMMING WITH OBJECT ALGEBRAS
COMPOSITION AND REUSE WITH COMPILED DOMAIN-SPECIFIC LANGUAGES
TYPES
COMBINING FORM AND FUNCTION: STATIC TYPES FOR JQUERY PROGRAMS
HEAP DECOMPOSITION INFERENCE WITH LINEAR PROGRAMMING
A FORMAL SEMANTICS FOR ISORECURSIVE AND EQUIRECURSIVE STATE ABSTRACTIONS
LANGUAGE DESIGN
TRUSTWORTHY PROXIES: VIRTUALIZING OBJECTS WITH INVARIANTS
JAVAUI: EFFECTS FOR CONTROLLING UI OBJECT ACCESS
THE BILLION-DOLLAR FIX: SAFE MODULAR CIRCULAR INITIALISATION WITH
PLACEHOLDERS AND PLACEHOLDER TYPES
CONCURRENCY, PARALLELISM, AND DISTRIBUTION
IMPLEMENTING FEDERATED OBJECT SYSTEMS
REDCARD: REDUNDANT CHECK ELIMINATION FOR DYNAMIC RACE DETECTORS
OWNERSHIP-BASED ISOLATION FOR CONCURRENT ACTORS ON MULTI-CORE MACHINES
WHY DO SCALA DEVELOPERS MIX THE ACTOR MODEL WITH OTHER CONCURRENCY
MODELS?
ANALYSIS AND VERIFICATION
JOINS: A CASE STUDY IN MODULAR SPECIFICATION OF A CONCURRENT REENTRANT
HIGHER-ORDER LIBRARY
ENABLING MODULARITY AND RE-USE IN DYNAMIC PROGRAM ANALYSIS TOOLS FOR THE
JAVA VIRTUAL MACHINE
AVERROES: WHOLE-PROGRAM ANALYSIS WITHOUT THE WHOLE PROGRAM
QUIC GRAPHS: RELATIONAL INVARIANT GENERATION FOR CONTAINERS
REDUCING LOOKUPS FOR INVARIANT CHECKING
VERIFICATION CONDITION GENERATION FOR PERMISSION LOGICS WITH ABSTRACT
PREDICATES AND ABSTRACTION FUNCTIONS
MODELLING AND REFACTORING
REALLY AUTOMATIC SCALABLE OBJECT-ORIENTED REENGINEERING
DETECTING REFACTORED CLONES
A COMPOSITIONAL PARADIGM OF AUTOMATING REFACTORINGS
A COMPARATIVE STUDY OF MANUAL AND AUTOMATED REFACTORINGS
TESTING, PROFILING, AND EMPIRICAL STUDIES
WHAT PROGRAMMERS DO WITH INHERITANCE IN JAVA
IS THIS A BUG OR AN OBSOLETE TEST?
SYSTEMATIC TESTING OF REFACTORING ENGINES ON REAL SOFTWARE PROJECTS
IMPLEMENTATION
SIMPLE PROFILE RECTIFICATIONS GO A LONG WAY: STATISTICALLY EXPLORING AND
ALLEVIATING THE EFFECTS OF SAMPLING ERRORS FOR PROGRAM OPTIMIZATIONS
THE SHAPE OF THINGS TO RUN: COMPILING COMPLEX STREAM GRAPHS TO
RECONFIGURABLE HARDWARE IN LIME
HIGHER-ORDER REACTIVE PROGRAMMING WITH INCREMENTAL LISTS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
ECOOP 2013 – OBJECT-ORIENTED PROGRAMMING
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 27TH EUROPEAN CONFERENCE ON
OBJECT-ORIENTED PROGRAMMING, ECOOP 2013, HELD IN MONTPELLIER, FRANCE, IN
JULY 2013. THE 29 PAPERS PRESENTED IN THIS VOLUME WERE CAREFULLY
REVIEWED AND SELECTED FROM 116 SUBMISSIONS. THEY ARE ORGANIZED IN
TOPICAL SECTIONS ON ASPECTS, COMPONENTS, AND MODULARITY; TYPES; LANGUAGE
DESIGN; CONCURRENCY, PARALLELISM, AND DISTRIBUTION; ANALYSIS AND
VERIFICATION; MODELLING AND REFACTORING; TESTING, PROFILING, AND
EMPIRICAL STUDIES; AND IMPLEMENTATION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)173051278 |
| building | Verbundindex |
| bvnumber | BV041412776 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 315f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)855544238 (DE-599)BVBBV041412776 |
| 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 |
| doi_str_mv | 10.1007/978-3-642-39038-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">BV041412776</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140212</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131113s2013 xx d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642390371</subfield><subfield code="c">print</subfield><subfield code="9">978-3-642-39037-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642390388</subfield><subfield code="c">online</subfield><subfield code="9">978-3-642-39038-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-39038-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)855544238</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041412776</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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-739</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</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.11</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">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ecoop 2013 - object oriented programming</subfield><subfield code="b">27th European conference, Montpellier, France, July 1 - 5, 2013 ; proceedings</subfield><subfield code="c">Giuseppe Castagna (ed.)</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 (XXI, 746 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">7920</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">2013</subfield><subfield code="z">Montpellier</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">Castagna, Giuseppe</subfield><subfield code="d">1966-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)173051278</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ECOOP</subfield><subfield code="n">27</subfield><subfield code="d">2013</subfield><subfield code="c">Montpellier</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1036675866</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">7920</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7920</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-39038-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=026860034&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=026860034&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-026860034</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Montpellier gnd-content |
| genre_facet | Konferenzschrift 2013 Montpellier |
| id | DE-604.BV041412776 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:16:54Z |
| institution | BVB |
| institution_GND | (DE-588)1036675866 |
| isbn | 9783642390371 9783642390388 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026860034 |
| oclc_num | 855544238 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-739 DE-859 DE-91 DE-BY-TUM DE-706 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-739 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XXI, 746 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 | Ecoop 2013 - object oriented programming 27th European conference, Montpellier, France, July 1 - 5, 2013 ; proceedings Giuseppe Castagna (ed.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XXI, 746 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7920 Objektorientierte Programmiersprache (DE-588)4172311-9 gnd rswk-swf Objektorientierte Programmierung (DE-588)4233947-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Montpellier gnd-content Objektorientierte Programmierung (DE-588)4233947-9 s DE-604 Objektorientierte Programmiersprache (DE-588)4172311-9 s Castagna, Giuseppe 1966- Sonstige (DE-588)173051278 oth ECOOP 27 2013 Montpellier Sonstige (DE-588)1036675866 oth Lecture notes in computer science 7920 (DE-604)BV014880109 7920 https://doi.org/10.1007/978-3-642-39038-8 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026860034&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=026860034&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Ecoop 2013 - object oriented programming 27th European conference, Montpellier, France, July 1 - 5, 2013 ; 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 2013 - object oriented programming 27th European conference, Montpellier, France, July 1 - 5, 2013 ; proceedings |
| title_auth | Ecoop 2013 - object oriented programming 27th European conference, Montpellier, France, July 1 - 5, 2013 ; proceedings |
| title_exact_search | Ecoop 2013 - object oriented programming 27th European conference, Montpellier, France, July 1 - 5, 2013 ; proceedings |
| title_full | Ecoop 2013 - object oriented programming 27th European conference, Montpellier, France, July 1 - 5, 2013 ; proceedings Giuseppe Castagna (ed.) |
| title_fullStr | Ecoop 2013 - object oriented programming 27th European conference, Montpellier, France, July 1 - 5, 2013 ; proceedings Giuseppe Castagna (ed.) |
| title_full_unstemmed | Ecoop 2013 - object oriented programming 27th European conference, Montpellier, France, July 1 - 5, 2013 ; proceedings Giuseppe Castagna (ed.) |
| title_short | Ecoop 2013 - object oriented programming |
| title_sort | ecoop 2013 object oriented programming 27th european conference montpellier france july 1 5 2013 proceedings |
| title_sub | 27th European conference, Montpellier, France, July 1 - 5, 2013 ; proceedings |
| topic | Objektorientierte Programmiersprache (DE-588)4172311-9 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd |
| topic_facet | Objektorientierte Programmiersprache Objektorientierte Programmierung Konferenzschrift 2013 Montpellier |
| url | https://doi.org/10.1007/978-3-642-39038-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026860034&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=026860034&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT castagnagiuseppe ecoop2013objectorientedprogramming27theuropeanconferencemontpellierfrancejuly152013proceedings AT ecoopmontpellier ecoop2013objectorientedprogramming27theuropeanconferencemontpellierfrancejuly152013proceedings |