Context-awareness plays an important role in developing flexible and adaptive software. However, it is not easy to write context-aware programs because context cannot be treated as a module in the traditional programm...
详细信息
ISBN:
(纸本)9781450308915
Context-awareness plays an important role in developing flexible and adaptive software. However, it is not easy to write context-aware programs because context cannot be treated as a module in the traditional programming languages. COP (Context-Oriented programming) languages such as ContextJ * enable programmers to describe the context-aware behavior elegantly. The primary system behavior can be separated from the context-aware behavior. On the other hand, unfortunately, it becomes difficult to debug the programs due to the complexity of COP execution and the dependence between objects and contexts. To deal with this problem, this paper proposes CJAdviser, SMT-based debugging support for ContextJ*. In CJAdviser, the execution trace of a ContextJ* program is converted to a context dependence graph that can be analyzed by the SMT (Satisfiability Modulo Theories) solver Yices. Using CJAdviser, we can check a variety of object-context dependencies such as "Do two objects A and B exist in the Context X at the same time?". In CJAdviser, SMT is applied to not static analysis but dynamic analysis because many context-aware properties are determined at run time.
Polytypic programming is very useful in functional languages to capture generic functionality, but is of little help to programmers in object-oriented languages. We have developed a form of polytypic programming, whic...
详细信息
ISBN:
(纸本)9781450302517
Polytypic programming is very useful in functional languages to capture generic functionality, but is of little help to programmers in object-oriented languages. We have developed a form of polytypic programming, which is more object-oriented friendly, that we call traversal-based generic programming. The approach involves the use of several algorithms for function set generation, dispatch, and type-checking. In this paper we give an overview of our approach and a detailed account of the various algorithms involved in making traversal-based generic programming useful, safe, and efficient.
The search for sound principles for object-oriented languages has given rise to considerable research during the last few decades, leading to a better understanding of the key concepts of object-oriented languages and...
详细信息
ISBN:
(纸本)9781450302401
The search for sound principles for object-oriented languages has given rise to considerable research during the last few decades, leading to a better understanding of the key concepts of object-oriented languages and to important developments in type theory, semantics, program verification, and program development. The purpose of this workshop is to provide a forum for discussing new ideas in the foundations of object-oriented languages and provide feedback to authors. Submissions to this workshop were invited in the general area of foundations of object-oriented languages, including but not limited to language semantics, type systems, program analysis and verification, programming calculi, concurrent and distributed languages, database languages, and language-based security.
Context Oriented programming (COP) allows modularization of programs according to the cross-cutting concern of contexts. Context depending features are grouped in layers which can be activated at run time by triggerin...
详细信息
The proceedings contain 6 papers. The topics discussed include: context-oriented programming in highly concurrent systems;designing event-based context transition in context-oriented programming;the Cartesian approach...
ISBN:
(纸本)9781450305310
The proceedings contain 6 papers. The topics discussed include: context-oriented programming in highly concurrent systems;designing event-based context transition in context-oriented programming;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-oriented programming.
Context-oriented programming can be regarded as a technique aiming for an improved (multi-dimensional) separation of concerns (MDSOC). The delMDSOC (virtual) machine model describes a common target platform for a rang...
详细信息
The proceedings contain 8 papers. The topics discussed include: efficient, context-sensitive detection of real-world semantic attacks;attack model for verification of interval security properties for smart card C code...
ISBN:
(纸本)9781605588278
The proceedings contain 8 papers. The topics discussed include: efficient, context-sensitive detection of real-world semantic attacks;attack model for verification of interval security properties for smart card C codes;permissive dynamic information flow analysis;a more precise security type system for dynamic security tests;restricted delegation and revocation in language-based security;class properties for security review in an object-capability subset of java;and secure information flow analysis for hardware design: using the right abstraction for the job.
A central dichotomy for specialization mechanisms is the divide between static class-based inheritance and dynamic instance-based delegation. Despite its greater flexibility delegation has not found its way into mains...
详细信息
Characteristics of inheritance metrics are compared with size and length measurement using the property based validation framework of Briand et al. About a dozen inheritance metrics are analyzed and compared with some...
详细信息
The proceedings contain 8 papers. The topics discussed include: parallel object-oriented scientific computing with Habanero-java;globally parallel, locally sequential: a preliminary proposal for acumen objects;insulat...
ISBN:
(纸本)9781450305464
The proceedings contain 8 papers. The topics discussed include: parallel object-oriented scientific computing with Habanero-java;globally parallel, locally sequential: a preliminary proposal for acumen objects;insulating the scientific programmer from perilous parallel architecture;HiFlow3 - a flexible and hardware-aware parallel finite element package;parallel simulation of equation-based models on CUDA-enabled GPUs;automatic performance optimization in ViennaCL for GPUs;and the best of most worlds: and shared objects for multilingual simulation.
暂无评论