Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Titre(s) : Aliasing in object-oriented programming [Texte électronique] : types, analysis and verification / Dave Clarke, James Noble, Tobias Wrigstad (eds.)

Publication : Berlin ; New York : Springer, cop. 2013

Description matérielle : 1 online resource (1 texte électronique)

Collection : Lecture notes in computer science ; 7850
LNCS sublibrary. SL 2, Programming and software engineering

Note(s) : Titre de l'écran-titre (visionné le 7 mai 2013)
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.--[Source inconnue]

Autre(s) auteur(s) : Clarke, Dave (1971-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Noble, James (1967-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Wrigstad, Tobias (1976-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Clarke, Dave. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Systèmes d'exploitation (ordinateurs)  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.13 (23e éd.) = Programmation des ordinateurs  Voir les notices liées en tant que sujet ; 005.11 (23e éd.) = Méthodes de développement de logiciels ; paradigmes de programmation  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783642369469

Identifiant de la notice  : ark:/12148/cb44706671v

Notice n° :  FRBNF44706671 (notice reprise d'un réservoir extérieur)

Table des matières : The Geneva Convention. ; Beyond the Geneva Convention on the Treatment of Object Aliasing /Dave Clarke, James Noble, Tobias Wrigstad ; The Geneva Convention on the Treatment of Object Aliasing /John Hogg ... [et al.] ; Ownership. ; Ownership Types: A Survey /Dave Clarke ... [et al.] ; Notions of Aliasing and Ownership /Alan Mycroft, Janina Voigt ; Understanding Ownership Types with Dependent Types /Nicholas Cameron, Sophia Drossopoulou, James Noble ; Object Graphs with Ownership Domains: An Empirical Study /Radu Vanciu, Marwan Abi-Antoun ; Concurrency. ; Alias Control for Deterministic Parallelism /Robert L. Bocchino Jr. ; Alias Analysis. ; Alias Analysis for Object-Oriented Programs /Manu Sridharan ... [et al.] ; Controlling Effects. ; Immutability /Alex Potanin ... [et al.] ; Fractional Permissions /John Boyland ; Verification. ; Object Ownership in Program Verification /Werner Dietl, Peter Müller ; State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings /Anindya Ba