The proceedings contain 32 papers. The topics discussed include: verified compilation and optimization of floating-point programs in CakeML;elementary type inference;stay safe under panic: affine rust programming with...
ISBN:
(纸本)9783959772259
The proceedings contain 32 papers. The topics discussed include: verified compilation and optimization of floating-point programs in CakeML;elementary type inference;stay safe under panic: affine rust programming with multiparty session types;how to take the inverse of a type;compiling volatile correctly in Java;functional programming with datalog;design-by-contract for flexible multiparty session protocols;a deterministic memory allocator for dynamic symbolic execution;defining corecursive functions in coq using approximations;what if we don’t pop the stack? the return of 2nd-class values;Maniposynth: bimodal tangible functional programming;direct foundations for compositional programming;Ferrite: a judgmental embedding of session types in rust;and Qilin: a new framework for supporting fine-grained context-sensitivity in Java pointer analysis.
Using a stack for managing the local state of procedures as popularized by Algol is a simple but effective way to achieve a primitive form of automatic memory management. Hence, the call stack remains the backbone of ...
详细信息
Reference immutability type systems such as Javari and ReIm ensure that a given reference cannot be used to mutate the referenced object. These systems are conservative in the sense that a mutable reference may be mut...
详细信息
The proceedings contain 6 papers. The topics discussed include: context-orientedprogramming in highly concurrent systems;designing event-based context transition in context-orientedprogramming;the Cartesian approach...
ISBN:
(纸本)9781450305310
The proceedings contain 6 papers. The topics discussed include: context-orientedprogramming in highly concurrent systems;designing event-based context transition in context-orientedprogramming;the Cartesian approach to context;layered method dispatch with NVOKEDYNAMIC - an implementation study;ContextLua - dynamic behavioral variations in computer games;and a graph-based operational semantics for context-orientedprogramming.
EOOLT'2008 was the second edition of the ecoop-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) modeling languages and different applicat...
详细信息
ISBN:
(纸本)9783642020469
EOOLT'2008 was the second edition of the ecoop-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) modeling languages and different application areas making use of such languages together. The aim of the workshop is to explore common grounds and derive software design principles that may make future EOO modeling languages more robust, more versatile, and more widely accepted among the various stakeholders. At EOOLT'2008, researchers with diverse backgrounds and needs came together to present and discuss fourteen different concept papers grouped into the four topic areas of integrated system modeling approaches: modeling for multiple applications;modeling language design, and equation handling, diagnosis, and modeling.
While OO has, become ubiquitously employed for design;implementation, and even conceptualization, many practitioners recognize the concomitant need for other programming paradigms according to problem domain. Neverthe...
详细信息
ISBN:
(纸本)9783642020469
While OO has, become ubiquitously employed for design;implementation, and even conceptualization, many practitioners recognize the concomitant need for other programming paradigms according to problem domain. Nevertheless, the choice of a programming paradigm is strongly influenced by the supporting programming language facilities. In turn, choice of programming language is usually highly constrained by practical considerations. We seek answers to the question of how to address the need for other programming paradigms, or even domain specific languages, in the general context of OO languages. It is clear that this field is active and fluid: novel, disparate approaches' and techniques are still being discovered or invented, And this very novelty adds a. significant element of intellectual entertainment. This article describes the cross section of research efforts reported at the, workshop on Multiparadigm programming in object-oriented Languages held at, the 2008 europeanconference on object-orientedprogramming.
This paper introduce the modeling and simulation tool EcosimPro and the possibility in the new version 4 of using object orientation in its modeling language called EL (Ecosimpro Language ) which is the official langu...
详细信息
This paper introduce the modeling and simulation tool EcosimPro and the possibility in the new version 4 of using object orientation in its modeling language called EL (Ecosimpro Language ) which is the official language of The european Space Agency (ESA). Also shows the power that the use of classes gives to EcosimPro regarding other simulation environments.
Multi-tasking, managed runtime environments (MREs) for modern type-safe, object-orientedprogramming languages enable isolated, concurrent execution Of multiple applications within a single operating system process. M...
详细信息
ISBN:
(纸本)9783540705918
Multi-tasking, managed runtime environments (MREs) for modern type-safe, object-orientedprogramming languages enable isolated, concurrent execution Of multiple applications within a single operating system process. Multi-tasking MREs can potentially extract high-performance on desktop and hand-held systems through aggressive sharing of classes and compiled code, and by exploiting high-level dynamic program information.
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed language with a dynamically-typed class can ...
详细信息
ISBN:
(纸本)9783540705918
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed language with a dynamically-typed class can require a significant number of manual indirections and other error-prone complications. Building on our previous interoperability work, we introduce a technique that allows safe, easy inheritance across languages. We demonstrate our technique for cross-language inheritance with a statically-typed object calculus and a dynamically-typed object calculus, where a statically-typed class can extend a dynamically-typed one and vice versa. We provide a proof sketch of soundness, as well as a guarantee that dynamic type errors do not arise due to statically-typed expressions.
object invariants define the consistency of objects. They have subtle semantics because of call-backs, multi-object invariants and subclassing. Several visible-state verification techniques for object invariants have ...
详细信息
ISBN:
(纸本)9783540705918
object invariants define the consistency of objects. They have subtle semantics because of call-backs, multi-object invariants and subclassing. Several visible-state verification techniques for object invariants have been proposed. It is difficult to compare these techniques and ascertain their soundness because of differences in restrictions on programs and invariants, in the use of advanced type systems (e.g., ownership types), in the meaning of invariants, and in proof obligations. We develop a unified framework for such techniques. We distil seven parameters that characterise a verification technique, and identify sufficient conditions on these parameters which guarantee soundness. We instantiate our framework with three verification techniques from the literature, and use it to assess soundness and compare expressiveness.
暂无评论