Paper Info
Title
Location types for safe distributed object-oriented programming
Abstract
In distributed object-oriented systems, objects belong to different locations. For example, in Java RMI, objects can be distributed over different JVM instances. Accessing a reference in RMI has crucial different semantics depending on whether the referred object is local or remote. Nevertheless, such references are not statically distinguished by the type system. This paper presents location types, which statically distinguish far from near references. We present a formal type system for a minimal core language. In addition, we present a type inference system that gives optimal solutions. We implemented location types as a pluggable type system for the ABS language, an object-oriented language with a concurrency model based on concurrent object groups. An important contribution of this paper is the combination of the type system with the flexible inference system and a novel integration into an Eclipse-based IDE by presenting the inference results as overlays. This drastically reduces the annotation overhead while providing full static type information to the user. The IDE integration is a general approach of its own and can be applied to many other type system extensions.
Year
DOI
Venue
2011
10.1007/978-3-642-21952-8_15
TOOLS (49)
Keywords
DocType
Volume
type inference system,object-oriented programming,object-oriented system,location type,pluggable type system,full static type information,type system extension,formal type system,flexible inference system,abs language,type system
Conference
6705
ISSN
Citations 
PageRank 
0302-9743
4
0.43
References 
Authors
14
2
Name
Order
Citations
PageRank
Yannick Welsch1644.89
Jan Schäfer232014.02