the proceedings contain 30 papers. the topics discussed include: perfect is the enemy of good: best-effort program synthesis;blame for null;static race detection and mutex safety and liveness for go programs;reconcili...
ISBN:
(纸本)9783959771542
the proceedings contain 30 papers. the topics discussed include: perfect is the enemy of good: best-effort program synthesis;blame for null;static race detection and mutex safety and liveness for go programs;reconciling event structures with modern multiprocessors;don’t panic! better, fewer, syntax errors for lr parsers;space-efficient gradual typing in coercion-passing style;multiparty session programming with global protocol combinators;designing with static capabilities and effects: use, mention, and invariants (pearl);a semantics for the essence of react;test-case reduction via test-case generation: insights from the hypothesis reducer;model-view-update-communicate: session types meet the elm architecture;and value partitioning: a lightweight approach to relational static analysis for JavaScript.
ecoop'87 marks the point in time where object-orientedprogramming started to become mainstream in research as well as in industry. In this paper we will reflect upon the contributions of object-orientation since ...
详细信息
In recent years, programming-language support for static memory safety has developed significantly. In particular, borrowing and ownership systems, such as the one pioneered by the Rust language, require the programme...
详细信息
this paper reports on the results of the Fifth International Workshop on object-oriented Reengineering in Oslo on June 15, 2004. It enumerates the presentations made, classifies the contributions and lists the main re...
详细信息
ISBN:
(纸本)354023988X
this paper reports on the results of the Fifth International Workshop on object-oriented Reengineering in Oslo on June 15, 2004. It enumerates the presentations made, classifies the contributions and lists the main results of the discussions held at the workshop. As such it provides the context for future workshops around this topic.
During the process of developing and maintaining a complex software system, developers pose detailed questions about the runtime behavior of the system. Source code views offer strictly limited insights, so developers...
详细信息
ISBN:
(纸本)9781467310673
During the process of developing and maintaining a complex software system, developers pose detailed questions about the runtime behavior of the system. Source code views offer strictly limited insights, so developers often turn to tools like debuggers to inspect and interact withthe running system. Unfortunately, traditional debuggers focus on the runtime stack as the key abstraction to support debugging operations, though the questions developers pose often have more to do withobjects and their interactions. We propose object-centric debugging as an alternative approach to interacting with a running software system. We show how, by focusing on objects as the key abstraction, natural debugging operations can be defined to answer developer questions related to runtime behavior. We present a running prototype of an object-centric debugger, and demonstrate, withthe help of a series of examples, how object-centric debugging offers more effective support for many typical developer tasks than a traditional stack-oriented debugger.
A major strength in object-oriented development is the direct support for domain modelling offered by the conceptual framework underlying object-orientation. In this framework, domains and systems can be analysed and ...
详细信息
Typestates are a notion of behavioral types that describe protocols for stateful objects, specifying the available methods for each state. Ensuring methods are called in the correct order (protocol compliance), and th...
详细信息
暂无评论