Borrow it
Coverart for item
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.)

Creator
Contributor
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
Work
Publication
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
Instance
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
Creator
Contributor
Subject
Genre
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
Member of
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.)
Instantiates
Publication
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.)
Publication
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

Genre

Member of

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...