this book constitutes the refereed proceedings of the 25theuropeanconference on object-orientedprogramming, ecoop 2011, held in Lancaster, UK, in July 2011. the 26 revised full papers, presented together withthree...
详细信息
ISBN:
(数字)9783642226557
ISBN:
(纸本)9783642226540
this book constitutes the refereed proceedings of the 25theuropeanconference on object-orientedprogramming, ecoop 2011, held in Lancaster, UK, in July 2011.
the 26 revised full papers, presented together withthree keynote lectures were carefully reviewed and selected from a total of 100 submissions. the papers cover topics such as empirical studies, mining, understanding, recommending, modularity, modelling and refactoring, aliasing and ownership; as well as memory optimizations.
the PhDOOS workshop covered a wide scope, as its over 20 participants were PhD students in all areas of object orientation. the presentations covered topics such as databases, languages, software engineering and artif...
详细信息
ISBN:
(纸本)354066954X
the PhDOOS workshop covered a wide scope, as its over 20 participants were PhD students in all areas of object orientation. the presentations covered topics such as databases, languages, software engineering and artificial intelligence, components and generative progamming, analysis and design, frameworks and patterns, aspected orientedprogramming, distribution, and middleware. Several topics of shared interest were identified and targeted in separate discussion groups on meta-information, the success or failure of OODBMS, and a general theme on the future of object orientation. As the participants had various research interests covering practically all the OO spectrum, we can confidently state that these topics reflect actually the concerns and needs of the OO community, and emerge from its concrete needs. this document is to be complemented by a workshop proceedings document which will publish the full versions of the presented papers.
It is well known that big-step operational semantics are not suitable for proving soundness of type systems, because of their inability to distinguish stuck from non-terminating computations. We show how this problem ...
详细信息
ISBN:
(纸本)9783642310577;9783642310560
It is well known that big-step operational semantics are not suitable for proving soundness of type systems, because of their inability to distinguish stuck from non-terminating computations. We show how this problem can be solved by interpreting coinductively the rules for the standard big-step operational semantics of a Java-like language, thus making the claim of soundness more intuitive: whenever a program is well-typed, its coinductive operational semantics returns a value. Indeed, coinduction allows non-terminating computations to return values;this is proved by showing that the set of proof trees defining the semantic judgment forms a complete metric space when equipped with a proper distance function. In this way, we are able to prove soundness of a nominal type system w.r.t. the coinductive semantics. Since the coinductive semantics is sound w.r.t. the usual small-step operational semantics, the standard claim of soundness can be easily deduced.
this book constitutes the refereed proceedings of the 26theuropeanconference on object-orientedprogramming, ecoop 2012, held in Beijing, China, in June 2012. the 27 revised full papers presented together with two k...
详细信息
ISBN:
(数字)9783642310577
ISBN:
(纸本)9783642310560
this book constitutes the refereed proceedings of the 26theuropeanconference on object-orientedprogramming, ecoop 2012, held in Beijing, China, in June 2012. the 27 revised full papers presented together with two keynote lectures were carefully reviewed and selected from a total of 140 submissions. the papers are organized in topical sections on extensibility, language evaluation, ownership and initialisation, language features, special-purpose analyses, javascript, hardcore theory, modularity, updates and interference, general-purpose analyses.
the multiplicity of natural languages and the multiplicity of computer languages invite a false parallel. In fact computer languages have settled into an evolutionary rut that was carved by the needs of the earliest c...
详细信息
X10 is an objectorientedprogramming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchronous activities, multiple places). Obj...
详细信息
ISBN:
(纸本)9783642310577;9783642310560
X10 is an objectorientedprogramming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchronous activities, multiple places). object initialization is a cross-cutting concern that interacts with all of these features in delicate ways that may cause type, runtime, and security errors. this paper discusses possible designs for object initialization, and the "hardhat" design chosen and implemented in X10 version 2.2. Our implementation includes a fixed-point inter-procedural (intra-class) data-flow analysis that infers, for each method called during initialization, the set of fields that are read, and those that are asynchronously and synchronously assigned. Our codebase of more than 200K lines of code only had 104 annotations. Finally, we formalize the essence of initialization checking with an effect system intended to complement a standard FJ style formalization of the type system for X10. this system is substantially simpler than the masked types of [10], and it is more practical (for X10) than the free-committed types of [12]. this is the first formalization of a type and (flow-sensitive) effect system for safe initialization in the presence of concurrency constructs.
this book constitutes the refereed proceedings of the 15theuropeanconference on object-orientedprogramming, ecoop 2001, held in Budapest, Hungary, in June 2001.;the 18 revised full papers presented together with on...
详细信息
ISBN:
(数字)9783540453376
ISBN:
(纸本)9783540422068
this book constitutes the refereed proceedings of the 15theuropeanconference on object-orientedprogramming, ecoop 2001, held in Budapest, Hungary, in June 2001.;the 18 revised full papers presented together with one invited paper were carefully reviewed and selected from 108 submissions. the book is organized in topical sections on sharing and encapsulation, type inference and static analysis, language design, implementation techniques, reflection and concurrency, and testing and design.
ObjChart is a new visual formalism to specify objects and their reactive behavior. A system is specified as a collection of asynchronously communicating objects arranged in a part-of hierarchy, where the reactive beha...
详细信息
Traditional object-orientedprogramming languages do not support user-level object structure definition, so it is impossible to treat external or low-level data structures (like an integer, an array and a pointer) as ...
详细信息
暂无评论