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 article summarizes the workshop on human factors in use cases and object-oriented development methods. The following questions were the main focus of the workshop: Can use cases be improved by the incorporation o...
详细信息
ISBN:
(纸本)354066954X
This article summarizes the workshop on human factors in use cases and object-oriented development methods. The following questions were the main focus of the workshop: Can use cases be improved by the incorporation or consideration of formal task analysis models and human centered design techniques in general? Are there ways of integrating human factors and user-centered techniques into use cases and object-oriented methods? The workshop brought a multidisciplinary blend of researchers and practitioner;involved in user-centered design together with those interested by user requirements and use cases. If highlighted fundamental problems arising from the integration of human factors in use cases and OO methods.
The proceedings contain 25 papers. The topics discussed include: fault-tolerant distributed reactive programming;theory and practice of coroutines with snapshots;a characteristic study of parameterized unit tests in ....
ISBN:
(纸本)9783959770798
The proceedings contain 25 papers. The topics discussed include: fault-tolerant distributed reactive programming;theory and practice of coroutines with snapshots;a characteristic study of parameterized unit tests in .NET open source projects;learning to accelerate symbolic execution via code transformation;accelerating dynamically-typed languages on heterogeneous platforms using guards optimization;automating object transformations for dynamic software updating via online execution synthesis;LEGATO: an at-most-once analysis with applications to dynamic configuration updates;and efficient reflection string analysis via graph coloring.
This report summarises the results of the eighth workshop in a series of workshops on pedagogies and tools for the teaching and learning of object-oriented concepts. The submissions to this year's workshop mainly ...
详细信息
ISBN:
(纸本)354023988X
This report summarises the results of the eighth workshop in a series of workshops on pedagogies and tools for the teaching and learning of object-oriented concepts. The submissions to this year's workshop mainly covered curriculum issues, tool support for teaching, and case studies. Several contributions dealt with teaching object-orientation to non-Majors (junior high-school students, non-Science students). This aspect permeated most of the discussions at the workshop and is also reflected in the conclusions. The workshop gathered 19 participants from nine different countries.
Exception handling mechanisms are intended to Support the development of robust software. However, the implementation of such mechanisms with aspect-oriented (AO) programming might lead to error-prone scenarios. As as...
详细信息
ISBN:
(纸本)9783540705918
Exception handling mechanisms are intended to Support the development of robust software. However, the implementation of such mechanisms with aspect-oriented (AO) programming might lead to error-prone scenarios. As aspects extend or replace existing functionality at specific join points in the code execution, aspects' behavior may bring new exceptions, which can flow through the program execution in unexpected ways. This paper presents a systematic Study that assesses the error proneness of AOP mechanisms oil exception flows of evolving programs. The analysis was based on the object-oriented and the aspect-oriented versions of three medium-sized systems from different application domains. Our findings show that exception handling code in AO systems is error-prone, since all versions analyzed presented an increase in the number of uncaught exceptions and exceptions caught by the wrong handler. The causes of such problems are characterized and presented as a catalogue of bug patterns.
This book constitutes the refereed proceedings of the 12th european conference on object-oriented programming, ecoop'98, held in Brussels, Belgium, in July 1998.;The book presents 24 revised full technical papers ...
详细信息
ISBN:
(数字)9783540690641
ISBN:
(纸本)9783540647379
This book constitutes the refereed proceedings of the 12th european conference on object-oriented programming, ecoop'98, held in Brussels, Belgium, in July 1998.;The book presents 24 revised full technical papers selected for inclusion from a total of 124 submissions; also presented are two invited papers. The papers are organized in topical sections on modelling ideas and experiences; design patterns and frameworks; language problems and solutions; distributed memory systems; reuse, adaption and hardware support; reflection; extensible objects and types; and mixins, inheritance and type analysis complexity.
This book constitutes the proceedings of the 27th european conference on object-oriented programming, ecoop 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume were carefully review...
详细信息
ISBN:
(数字)9783642390388
ISBN:
(纸本)9783642390371
This book constitutes the proceedings of the 27th european conference on object-oriented programming, ecoop 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections on aspects, components, and modularity; types; language design; concurrency, parallelism, and distribution; analysis and verification; modelling and refactoring; testing, profiling, and empirical studies; and implementation.
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.
If the object-oriented style of programming hopes to live up to its potential as an improved methodology for software programming, a clear understanding of how to use types and inheritance is essential. Our experience...
详细信息
This book constitutes the refereed proceedings of the 25th european conference on object-oriented programming, ecoop 2011, held in Lancaster, UK, in July 2011. The 26 revised full papers, presented together with three...
详细信息
ISBN:
(数字)9783642226557
ISBN:
(纸本)9783642226540
This book constitutes the refereed proceedings of the 25th european conference on object-oriented programming, ecoop 2011, held in Lancaster, UK, in July 2011.
The 26 revised full papers, presented together with three 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.
暂无评论