ECOOP 2010 EObject-Oriented Programming

>> Google Books

ECOOP 2010 EObject-Oriented Programming / David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.

資料種別:

電子ブック

出版情報:

ACM Digital Library Proceedings
Springer Berlin Heidelberg, 2010

著者名:

ISBN:

9783642141065 [3642141064]
9786613565594 [6613565598]

書誌ID:

OB00400276

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

LECTURE NOTES IN COMPUTER SCIENCE / PROGRAMMING AND SOFTWARE ENGINEERING

主題:

Information Technology - Software Engineering

言語:

英語

目次情報:

Code Roots / Doug LeaKeynote 1：

Programming Environments and Tools

Detecting Missing Methods Calls in Object-Oriented Software / Martin Monperrus ; Marcel Bruch ; Mira Mezini

Debugging Model-Transformation Failures Using Dynamic Tainting / Pankaj Dhoolia ; Senthil Mani ; Vibha Singhal Sinha ; Saurabh Sinha

Automatically Extracting Class Diagrams from Spreadsheets / Felienne Hermans ; Martin Pinzger ; Arie van Deursen

Theoretical Foundations of Programming Languages

Adding Dynamic Types to C# / Gavin Bierman ; Erik Meijer ; Mads Torgersen

Essential AOP: The A Calculus / Bruno De Fraine ; Erik Ernst ; Mario SÃ¼dholt

The Essence of JavaScript / Arjun Guha ; Claudiu Saftoiu ; Shriram Krishnamurthi

Formal Methods

Verifying Executable Object-Oriented Specifications with Separation Logic / Stephan van Staden ; Cristiano Calcagno ; Bertrand Meyer

Verifying Generics and Delegates / Kasper Svendsen ; Lars Birkedal ; Matthew Parkinson

Recency Types for Analyzing Scripting Languages / Philip Heidegger ; Peter Thiemann

Concurrency Models in Java

Correct Refactoring of Concurrent Java Code / Max SchÃ¤fer ; Julian Dolby ; Manu Sridharan ; Emina Torlak ; Frank Tip

Programming Coordinated Behavior in Java / David Harel ; Assaf Marron ; Gera Weiss

JCoBox: Generalizing Active Objects to Concurrent Components / Jan SchÃ¤fer ; Arnd Poetzsch-Heffter

Special Session: Empirical Methods

Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study / Stefan Hanenberg

Types Systems

A Type System for Data-Centric Synchronization / Mandana Vaziri ; Christian Hammer ; Jan Vitek

Type-Safe Eventful Sessions in Java / Raymond Hu ; Dimitrios Kouzapas ; Olivier Pernet ; Nobuko Yoshida ; Kohei Honda

Capabilities for Uniqueness and Borrowing / Philipp Haller ; Martin Odersky

Secret Valley / Erik ErnestKeynote 2：

Language Design and Implementation

Embedding Languages without Breaking Tools / Lukas Renggli ; Tudor GÃ®rba ; Oscar Nierstrasz

Modules as Objects in Newspeak / Gilad Bracha ; Peter von der AhÃ© ; Vassili Bykov ; Yaron Kashai ; William Maddox ; Eliot Miranda

Inline Caching Meets Quickening / Stefan Brunthaler

Concurrency Abstrations

Self-Replicating Objects for Multicore Platforms / Krzysztof Ostrowski ; Chuck Sakoda ; Ken Birman

Reasoning about the Implementation of Concurrency Abstractions on x86-TSO / Scott Owens

Concurrent Abstract Predicates / Thomas Dinsdale-Young ; Mike Dodds ; Philippa Gardner ; Matthew J. Parkinson ; Viktor Vafeiadis

Experiences

The Use of Overloading in Java Programs / Joseph (Yossi) Gil ; Keren Lenz

Falling Back on Executable Specifications / Hesam Samimi ; Ei Darli Aung ; Todd Millstein

Contract-Based Data Structure Repair Using Alloy / Razieh Nokhbeh Zaeem ; Sarfraz Khurshid

Author Index

Code Roots / Doug LeaKeynote 1：

Programming Environments and Tools

Detecting Missing Methods Calls in Object-Oriented Software / Martin Monperrus ; Marcel Bruch ; Mira Mezini

Debugging Model-Transformation Failures Using Dynamic Tainting / Pankaj Dhoolia ; Senthil Mani ; Vibha Singhal Sinha ; Saurabh Sinha

Automatically Extracting Class Diagrams from Spreadsheets / Felienne Hermans ; Martin Pinzger ; Arie van Deursen

Theoretical Foundations of Programming Languages

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック ECOOP 2010 ? Object-Oriented Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg	7 電子ブック Functional and Logic Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg
2 電子ブック ECOOP 2012 EObject-Oriented Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg	8 電子ブック Functional and Logic Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック ECOOP 2011 EObject-Oriented Programming Mezini, Mira, Kanade, Takeo, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg	9 電子ブック Proceedings of the 11th international conference on Functional and Logic Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library., Kittler, Josef, Thiemann, Peter SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック ECOOP 2007 EObject-Oriented Programming Ernst, Erik, Kanade, Takeo, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg	10 電子ブック ECOOP 2011 ? Object-Oriented Programming Mezini, Mira, Kanade, Takeo, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック ECOOP 2012 ? Object-Oriented Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg	11 電子ブック ECOOP 2007 ? Object-Oriented Programming Ernst, Erik, Kanade, Takeo, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Proceedings of the 24th European conference on Object-oriented programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library., Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック System Analysis and Modeling: Theory and Practice Hutchison, David; Kanade, Takeo; Kittler, Josef, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12