Aliasing in Object-Oriented Programming: Types, Analysis, and Verification

✍ Scribed by Dave Clarke, James Noble, Tobias Wrigstad

Publisher: Springer
Year: 2013
Tongue: English
Leaves: 521
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt. The 22 revised papers were carefully reviewed to ensure the highest quality.The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions.

📜 SIMILAR VOLUMES

Aliasing in Object-Oriented Programming.

📁 Aliasing in Object-Oriented Programming. Types, Analysis and Verification

✍ Dave Clarke, James Noble, Tobias Wrigstad (auth.), Dave Clarke, James Noble, Tob 📂 Library 📅 2013 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt

Modular Specification and Verification o

📁 Modular Specification and Verification of Object-Oriented Programs

✍ Peter Müller (eds.) 📂 Library 📅 2002 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavio

Object-oriented Programming in C# for C

📁 Object-oriented Programming in C# for C and Java programmers

✍ Nørmark Kurt. 📂 Library 🌐 English

Aalborg University, Denmark, 2010. — 479 p.<div class="bb-sep"></div>This is a teaching material about object-oriented programming, illustrated with use of the programming language C#. The initial version was written i 2006.<br/>It is assumed, as a prerequisite, that the readers have some knowledge

Advanced Object-Oriented Programming in

📁 Advanced Object-Oriented Programming in R: Statistical Programming for Data Science, Analysis and Finance

✍ Thomas Mailund (auth.) 📂 Library 📅 2017 🏛 Apress 🌐 English

<p>Learn how to write object-oriented programs in R and how to construct classes and class hierarchies in the three object-oriented systems available in R. This book gives an introduction to object-oriented programming in the R programming language and shows you how to use and apply R in an object-o

Theoretical Aspects of Object-Oriented P

📁 Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design

✍ Carl A. Gunter, John C. Mitchell 📂 Library 📅 1994 🏛 The MIT Press 🌐 English

<P>Although the theory of object-oriented programming languages is far from complete, this book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs.The fifteen c

Theoretical aspects of object-oriented p

📁 Theoretical aspects of object-oriented programming: types, semantics, and language design

✍ Carl A. Gunter, John C. Mitchell (ed.) 📂 Library 📅 1994 🏛 The MIT Press 🌐 English