Lecture Notes in Computer Science - Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642369452, 9783642369469

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Alias Control for Deterministic Parallelism

Lecture Notes in Computer Science - Aliasing in Object-Oriented Programming. Types, Analysis and Verification ◽

10.1007/978-3-642-36946-9_7 ◽

2013 ◽

pp. 156-195 ◽

Cited By ~ 2

Author(s):

Robert L. Bocchino

Keyword(s):

Deterministic Parallelism

Download Full-text

A Retrospective on Aliasing Type Systems: 2012-2022

Lecture Notes in Computer Science - Aliasing in Object-Oriented Programming. Types, Analysis and Verification ◽

10.1007/978-3-642-36946-9_21 ◽

2013 ◽

pp. 509-511

Author(s):

Jonathan Aldrich

Keyword(s):

Type Systems

Download Full-text

Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy?

Lecture Notes in Computer Science - Aliasing in Object-Oriented Programming. Types, Analysis and Verification ◽

10.1007/978-3-642-36946-9_15 ◽

2013 ◽

pp. 443-470 ◽

Cited By ~ 2

Author(s):

Stephan Herrmann

Download Full-text

Separation Logic for Object-Oriented Programming

Lecture Notes in Computer Science - Aliasing in Object-Oriented Programming. Types, Analysis and Verification ◽

10.1007/978-3-642-36946-9_13 ◽

2013 ◽

pp. 366-406 ◽

Cited By ~ 6

Author(s):

Matthew Parkinson ◽

Gavin Bierman

Keyword(s):

Object Oriented ◽

Separation Logic ◽

Object Oriented Programming

Download Full-text

The Geneva Convention on the Treatment of Object Aliasing

Lecture Notes in Computer Science - Aliasing in Object-Oriented Programming. Types, Analysis and Verification ◽

10.1007/978-3-642-36946-9_2 ◽

2013 ◽

pp. 7-14 ◽

Cited By ~ 3

Author(s):

John Hogg ◽

Doug Lea ◽

Alan Wills ◽

Dennis de Champeaux ◽

Richard Holt

Keyword(s):

Geneva Convention

Download Full-text

Aliasing Visions: Ownership and Location

Lecture Notes in Computer Science - Aliasing in Object-Oriented Programming. Types, Analysis and Verification ◽

10.1007/978-3-642-36946-9_18 ◽

2013 ◽

pp. 503-504

Author(s):

Alan Mycroft

Download Full-text

VeriFast for Java: A Tutorial

Lecture Notes in Computer Science - Aliasing in Object-Oriented Programming. Types, Analysis and Verification ◽

10.1007/978-3-642-36946-9_14 ◽

2013 ◽

pp. 407-442 ◽

Cited By ~ 9

Author(s):

Jan Smans ◽

Bart Jacobs ◽

Frank Piessens

Download Full-text

Fractional Permissions

Lecture Notes in Computer Science - Aliasing in Object-Oriented Programming. Types, Analysis and Verification ◽

10.1007/978-3-642-36946-9_10 ◽

2013 ◽

pp. 270-288 ◽

Cited By ~ 3

Author(s):

John Boyland

Keyword(s):

Fractional Permissions

Download Full-text

Understanding Ownership Types with Dependent Types

Lecture Notes in Computer Science - Aliasing in Object-Oriented Programming. Types, Analysis and Verification ◽

10.1007/978-3-642-36946-9_5 ◽

2013 ◽

pp. 84-108 ◽

Cited By ~ 3

Author(s):

Nicholas Cameron ◽

Sophia Drossopoulou ◽

James Noble

Keyword(s):

Dependent Types ◽

Ownership Types

Download Full-text

Ownership Types: A Survey

Lecture Notes in Computer Science - Aliasing in Object-Oriented Programming. Types, Analysis and Verification ◽

10.1007/978-3-642-36946-9_3 ◽

2013 ◽

pp. 15-58 ◽

Cited By ~ 15

Author(s):

Dave Clarke ◽

Johan Östlund ◽

Ilya Sergey ◽

Tobias Wrigstad

Keyword(s):

Ownership Types

Download Full-text

Lecture Notes in Computer Science - Aliasing in Object-Oriented Programming. Types, Analysis and VerificationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Alias Control for Deterministic Parallelism

A Retrospective on Aliasing Type Systems: 2012-2022

Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy?

Separation Logic for Object-Oriented Programming

The Geneva Convention on the Treatment of Object Aliasing

Aliasing Visions: Ownership and Location

VeriFast for Java: A Tutorial

Fractional Permissions

Understanding Ownership Types with Dependent Types

Ownership Types: A Survey

Lecture Notes in Computer Science - Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Latest Publications