The Resource ECOOP 2012-- Object-oriented programming : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, James Noble (ed.)
ECOOP 2012-- Object-oriented programming : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, James Noble (ed.)
Resource Information
The item ECOOP 2012-- Object-oriented programming : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, James Noble (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item ECOOP 2012-- Object-oriented programming : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, James Noble (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Summary
- This book constitutes the refereed proceedings of the 26th European Conference on Object-Oriented Programming, ECOOP 2012, held in Beijing, China, in June 2012. The 27 revised full papers presented together with two keynote lectures were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on extensibility, language evaluation, ownership and initialisation, language features, special-purpose analyses, javascript, hardcore theory, modularity, updates and interference, general-purpose analyses
- Language
- eng
- Extent
- 1 online resource (xiii, 766 pages)
- Contents
-
- Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?
- Stas Negara, Mohsen Vakilian, Nicholas Chen, Ralph E. Johnson and Danny Dig
- Evaluating the Design of the R Language: Objects and Functions for Data Analysis
- Floréal Morandat, Brandon Hill, Leo Osvald and Jan Vitek
- McSAF: A Static Analysis Framework for MATLAB
- Jesse Doherty and Laurie Hendren
- Multiple Aggregate Entry Points for Ownership Types
- Johan Östlund and Tobias Wrigstad
- Inference and Checking of Object Ownership
- Wei Huang, Werner Dietl, Ana Milanova and Michael D. Ernst
- When Compilers Are Mirrors
- Object Initialization in X10
- Yoav Zibin, David Cunningham, Igor Peshansky and Vijay Saraswat
- Martin Odersky
- Extensibility for the Masses: Practical Extensibility with Object Algebras
- Bruno C. d. S. Oliveira and William R. Cook
- Extensions during Software Evolution: Do Objects Meet Their Promise?
- Romain Robbes, David Röthlisberger and Éric Tanter
- PQL: A Purely-Declarative Java Extension for Parallel Programming
- Christoph Reichenbach, Yannis Smaragdakis and Neil Immerman
- Lock Inference in the Presence of Large Libraries
- Khilan Gudka, Tim Harris and Susan Eisenbach
- An Analysis of the Mozilla Jetpack Extension Framework
- Rezwana Karim, Mohan Dhawan, Vinod Ganapathy and Chung-chieh Shan
- Smaller Footprint for Java Collections
- Joseph Gil and Yuval Shimron
- Enhancing JavaScript with Transactions
- Mohan Dhawan, Chung-chieh Shan and Vinod Ganapathy
- JavaScript as an Embedded DSL
- Grzegorz Kossakowski, Nada Amin, Tiark Rompf and Martin Odersky
- Structured Aliasing
- Correlation Tracking for Points-To Analysis of JavaScript
- Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer and Frank Tip
- Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics
- Davide Ancona
- Tobias Wrigstad
- Pause 'n' Play: Formalizing Asynchronous C \sharp
- Gavin Bierman, Claudio Russo, Geoffrey Mainland, Erik Meijer and Mads Torgersen
- Lightweight Polymorphic Effects
- Lukas Rytz, Martin Odersky and Philipp Haller
- Cloud Types for Eventual Consistency
- Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen and Benjamin P. Wood
- Marco: Safe, Expressive Macros for Any Language
- Byeongcheol Lee, Robert Grimm, Martin Hirzel and Kathryn S. McKinley
- Practical Permissions for Race-Free Parallelism
- Edwin Westbrook, Jisheng Zhao, Zoran Budimlić and Vivek Sarkar
- Verification of Snapshot Isolation in Transactional Memory Java Programs
- Ricardo J. Dias, Dino Distefano, João Costa Seco and João M. Lourenço
- Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates
- Arnab De and Deepak D'Souza
- Application-Only Call Graph Construction
- Karim Ali and Ondřej Lhoták
- Static Sessional Dataflow
- Program Sliding
- Ran Ettinger
- Static Detection of Loop-Invariant Data Structures
- Guoqing Xu, Dacong Yan and Atanas Rountev
- Dominic Duggan and Jianhua Yao
- Java Wildcards Meet Definition-Site Variance
- John Altidor, Christoph Reichenbach and Yannis Smaragdakis
- Constraint-Based Refactoring with Foresight
- Friedrich Steimann and Jens von Pilgrim
- Magda: A New Language for Modularity
- Viviana Bono, Jarek Kuśmierek and Mauro Mulatero
- Isbn
- 9783642310577
- Label
- ECOOP 2012-- Object-oriented programming : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings
- Title
- ECOOP 2012-- Object-oriented programming
- Title remainder
- 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings
- Statement of responsibility
- James Noble (ed.)
- Title variation
- ECOOP 2012
- Subject
-
- Computer science.
- Conference papers and proceedings
- Conference papers and proceedings
- Informatique
- Logic design.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Object-oriented programming (Computer science)
- Object-oriented programming (Computer science)
- Object-oriented programming (Computer science) -- Congresses
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Software engineering.
- Computer Communication Networks.
- Language
- eng
- Summary
- This book constitutes the refereed proceedings of the 26th European Conference on Object-Oriented Programming, ECOOP 2012, held in Beijing, China, in June 2012. The 27 revised full papers presented together with two keynote lectures were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on extensibility, language evaluation, ownership and initialisation, language features, special-purpose analyses, javascript, hardcore theory, modularity, updates and interference, general-purpose analyses
- Cataloging source
- GW5XE
- Dewey number
- 005.1/17
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.64
- LC item number
- .E26 2012
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2012
- http://bibfra.me/vocab/lite/meetingName
- ECOOP (Conference)
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
- 1967-
- http://library.link/vocab/relatedWorkOrContributorName
- Noble, James
- Series statement
-
- Lecture notes in computer science,
- LNCS sublibrary. SL 2, Programming and software engineering
- Series volume
- 7313
- http://library.link/vocab/subjectName
-
- Object-oriented programming (Computer science)
- Informatique
- Object-oriented programming (Computer science)
- Label
- ECOOP 2012-- Object-oriented programming : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, James Noble (ed.)
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references and author index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
-
- Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?
- Stas Negara, Mohsen Vakilian, Nicholas Chen, Ralph E. Johnson and Danny Dig
- Evaluating the Design of the R Language: Objects and Functions for Data Analysis
- Floréal Morandat, Brandon Hill, Leo Osvald and Jan Vitek
- McSAF: A Static Analysis Framework for MATLAB
- Jesse Doherty and Laurie Hendren
- Multiple Aggregate Entry Points for Ownership Types
- Johan Östlund and Tobias Wrigstad
- Inference and Checking of Object Ownership
- Wei Huang, Werner Dietl, Ana Milanova and Michael D. Ernst
- When Compilers Are Mirrors
- Object Initialization in X10
- Yoav Zibin, David Cunningham, Igor Peshansky and Vijay Saraswat
- Martin Odersky
- Extensibility for the Masses: Practical Extensibility with Object Algebras
- Bruno C. d. S. Oliveira and William R. Cook
- Extensions during Software Evolution: Do Objects Meet Their Promise?
- Romain Robbes, David Röthlisberger and Éric Tanter
- PQL: A Purely-Declarative Java Extension for Parallel Programming
- Christoph Reichenbach, Yannis Smaragdakis and Neil Immerman
- Lock Inference in the Presence of Large Libraries
- Khilan Gudka, Tim Harris and Susan Eisenbach
- An Analysis of the Mozilla Jetpack Extension Framework
- Rezwana Karim, Mohan Dhawan, Vinod Ganapathy and Chung-chieh Shan
- Smaller Footprint for Java Collections
- Joseph Gil and Yuval Shimron
- Enhancing JavaScript with Transactions
- Mohan Dhawan, Chung-chieh Shan and Vinod Ganapathy
- JavaScript as an Embedded DSL
- Grzegorz Kossakowski, Nada Amin, Tiark Rompf and Martin Odersky
- Structured Aliasing
- Correlation Tracking for Points-To Analysis of JavaScript
- Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer and Frank Tip
- Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics
- Davide Ancona
- Tobias Wrigstad
- Pause 'n' Play: Formalizing Asynchronous C \sharp
- Gavin Bierman, Claudio Russo, Geoffrey Mainland, Erik Meijer and Mads Torgersen
- Lightweight Polymorphic Effects
- Lukas Rytz, Martin Odersky and Philipp Haller
- Cloud Types for Eventual Consistency
- Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen and Benjamin P. Wood
- Marco: Safe, Expressive Macros for Any Language
- Byeongcheol Lee, Robert Grimm, Martin Hirzel and Kathryn S. McKinley
- Practical Permissions for Race-Free Parallelism
- Edwin Westbrook, Jisheng Zhao, Zoran Budimlić and Vivek Sarkar
- Verification of Snapshot Isolation in Transactional Memory Java Programs
- Ricardo J. Dias, Dino Distefano, João Costa Seco and João M. Lourenço
- Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates
- Arnab De and Deepak D'Souza
- Application-Only Call Graph Construction
- Karim Ali and Ondřej Lhoták
- Static Sessional Dataflow
- Program Sliding
- Ran Ettinger
- Static Detection of Loop-Invariant Data Structures
- Guoqing Xu, Dacong Yan and Atanas Rountev
- Dominic Duggan and Jianhua Yao
- Java Wildcards Meet Definition-Site Variance
- John Altidor, Christoph Reichenbach and Yannis Smaragdakis
- Constraint-Based Refactoring with Foresight
- Friedrich Steimann and Jens von Pilgrim
- Magda: A New Language for Modularity
- Viviana Bono, Jarek Kuśmierek and Mauro Mulatero
- Control code
- 798658474
- Dimensions
- unknown
- Extent
- 1 online resource (xiii, 766 pages)
- File format
- unknown
- Form of item
- online
- Isbn
- 9783642310577
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations.
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)798658474
- Label
- ECOOP 2012-- Object-oriented programming : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, James Noble (ed.)
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references and author index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
-
- Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?
- Stas Negara, Mohsen Vakilian, Nicholas Chen, Ralph E. Johnson and Danny Dig
- Evaluating the Design of the R Language: Objects and Functions for Data Analysis
- Floréal Morandat, Brandon Hill, Leo Osvald and Jan Vitek
- McSAF: A Static Analysis Framework for MATLAB
- Jesse Doherty and Laurie Hendren
- Multiple Aggregate Entry Points for Ownership Types
- Johan Östlund and Tobias Wrigstad
- Inference and Checking of Object Ownership
- Wei Huang, Werner Dietl, Ana Milanova and Michael D. Ernst
- When Compilers Are Mirrors
- Object Initialization in X10
- Yoav Zibin, David Cunningham, Igor Peshansky and Vijay Saraswat
- Martin Odersky
- Extensibility for the Masses: Practical Extensibility with Object Algebras
- Bruno C. d. S. Oliveira and William R. Cook
- Extensions during Software Evolution: Do Objects Meet Their Promise?
- Romain Robbes, David Röthlisberger and Éric Tanter
- PQL: A Purely-Declarative Java Extension for Parallel Programming
- Christoph Reichenbach, Yannis Smaragdakis and Neil Immerman
- Lock Inference in the Presence of Large Libraries
- Khilan Gudka, Tim Harris and Susan Eisenbach
- An Analysis of the Mozilla Jetpack Extension Framework
- Rezwana Karim, Mohan Dhawan, Vinod Ganapathy and Chung-chieh Shan
- Smaller Footprint for Java Collections
- Joseph Gil and Yuval Shimron
- Enhancing JavaScript with Transactions
- Mohan Dhawan, Chung-chieh Shan and Vinod Ganapathy
- JavaScript as an Embedded DSL
- Grzegorz Kossakowski, Nada Amin, Tiark Rompf and Martin Odersky
- Structured Aliasing
- Correlation Tracking for Points-To Analysis of JavaScript
- Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer and Frank Tip
- Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics
- Davide Ancona
- Tobias Wrigstad
- Pause 'n' Play: Formalizing Asynchronous C \sharp
- Gavin Bierman, Claudio Russo, Geoffrey Mainland, Erik Meijer and Mads Torgersen
- Lightweight Polymorphic Effects
- Lukas Rytz, Martin Odersky and Philipp Haller
- Cloud Types for Eventual Consistency
- Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen and Benjamin P. Wood
- Marco: Safe, Expressive Macros for Any Language
- Byeongcheol Lee, Robert Grimm, Martin Hirzel and Kathryn S. McKinley
- Practical Permissions for Race-Free Parallelism
- Edwin Westbrook, Jisheng Zhao, Zoran Budimlić and Vivek Sarkar
- Verification of Snapshot Isolation in Transactional Memory Java Programs
- Ricardo J. Dias, Dino Distefano, João Costa Seco and João M. Lourenço
- Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates
- Arnab De and Deepak D'Souza
- Application-Only Call Graph Construction
- Karim Ali and Ondřej Lhoták
- Static Sessional Dataflow
- Program Sliding
- Ran Ettinger
- Static Detection of Loop-Invariant Data Structures
- Guoqing Xu, Dacong Yan and Atanas Rountev
- Dominic Duggan and Jianhua Yao
- Java Wildcards Meet Definition-Site Variance
- John Altidor, Christoph Reichenbach and Yannis Smaragdakis
- Constraint-Based Refactoring with Foresight
- Friedrich Steimann and Jens von Pilgrim
- Magda: A New Language for Modularity
- Viviana Bono, Jarek Kuśmierek and Mauro Mulatero
- Control code
- 798658474
- Dimensions
- unknown
- Extent
- 1 online resource (xiii, 766 pages)
- File format
- unknown
- Form of item
- online
- Isbn
- 9783642310577
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations.
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)798658474
Subject
- Computer science.
- Conference papers and proceedings
- Conference papers and proceedings
- Informatique
- Logic design.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Object-oriented programming (Computer science)
- Object-oriented programming (Computer science)
- Object-oriented programming (Computer science) -- Congresses
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Software engineering.
- Computer Communication Networks.
Genre
Member of
- LNCS sublibrary, SL 2, Programming and software engineering
- Lecture notes in computer science, 7313
- Lecture notes in computer science, 7313.
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/ECOOP-2012---Object-oriented-programming--26th/24OJoJ0B8xc/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/ECOOP-2012---Object-oriented-programming--26th/24OJoJ0B8xc/">ECOOP 2012-- Object-oriented programming : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, James Noble (ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item ECOOP 2012-- Object-oriented programming : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, James Noble (ed.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/ECOOP-2012---Object-oriented-programming--26th/24OJoJ0B8xc/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/ECOOP-2012---Object-oriented-programming--26th/24OJoJ0B8xc/">ECOOP 2012-- Object-oriented programming : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, James Noble (ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>