JIVE represents a novel approach to runtime visualization and analysis of Java programs. It facilitates program understanding and interactive debugging, featuring: multiple, customizable views of object structure;repr...
详细信息
ISBN:
(纸本)1581138334
JIVE represents a novel approach to runtime visualization and analysis of Java programs. It facilitates program understanding and interactive debugging, featuring: multiple, customizable views of object structure;representation of execution history via sequence diagrams;interactive queries on runtime behavior;forward and reverse interactive execution. JIVE uses standard JVM and compilers.
It's a pleasure to welcome you to OOPSLA 2004, the 19thannualconference on object-orientedprogramming, systems, languages, and applications. OOPSLA is the premier forum for practitioners, researchers, and stude...
详细信息
ISBN:
(纸本)1581138334
It's a pleasure to welcome you to OOPSLA 2004, the 19thannualconference on object-orientedprogramming, systems, languages, and applications. OOPSLA is the premier forum for practitioners, researchers, and students in diverse disciplines whose common thread is object technology. From its inception, OOPSLA has served as an incubator for advanced technologies and practices. Dynamic compilation and optimization, patterns, refactoring, aspect-orientedprogramming, and agile methods (to name a few) all have OOPSLA roots. OOPSLA 2004 continues that tradition. Researchers and practitioners from around the world have come to showcase their latest work. Presentations from invited speakers dovetail with technical papers, practitioner reports, expert panels, demonstrations, formal and informal educational symposia, workshops, and diverse tutorials from world-class lecturers. the popular Onward! track presents out-of-the-box thinking at the forefront of computing. You can discuss late-breaking results withthe researchers themselves at poster sessions, which culminate in the third annual SIGPLAN Student Research Competition. DesignFest provides hands-on design experience in an expert-mentored environment. And again this year, we're privileged to host the acm Turing Lecture. Alan Kay, Turing laureate for 2003, received the prestigious award "for pioneering many of the ideas at the root of contemporary object-orientedprogramminglanguages, leading the team that developed Smalltalk, and for fundamental contributions to personal computing." It's especially fitting that Dr. Kay deliver the Turing Lecture at OOPSLA.
this work presents an object-oriented framework for the implementation of language interpreters in an educational context. We use this framework to implement different programming language paradigms, including interpr...
详细信息
ISBN:
(纸本)1581137516
this work presents an object-oriented framework for the implementation of language interpreters in an educational context. We use this framework to implement different programming language paradigms, including interpreters for the Functional, object-oriented and Logic paradigms. this framework focuses its structure on aiding the comprehension of the similarities and differences between the implementation of different paradigms.
this paper presents the notion of problem-orientedobject memory, and its realization in a distributed object-based programming system, Penumbra. this system allows location transparent object invocation, object migra...
详细信息
We describe a novel approach to runtime visualization of object-oriented programs. Our approach features: visualizations of execution state and history;forward and reverse execution;interactive queries during program ...
详细信息
ISBN:
(纸本)1581138334
We describe a novel approach to runtime visualization of object-oriented programs. Our approach features: visualizations of execution state and history;forward and reverse execution;interactive queries during program execution;and advanced drawing capabilities involving a combination of compile-time and runtime-analysis. Our methodology is realized in a software tool called JIVE, for Java Interactive Visualization Environment.
Numerous classes, complex inheritance and containment hierarchies, and diverse patterns of dynamic interaction all contribute to difficulties in understanding, reusing, debugging, and tuning large object-oriented syst...
详细信息
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.
the main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correctness and liveness properties. In parti...
详细信息
ISBN:
(纸本)1581138334
the main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correctness and liveness properties. In particular, the set of correctness rules that guarantee the absence of data races will be refined and formalized;an augmented type system will be proposed to enforce these rules at compile time. Furthermore, an efficient methodology for deadlock prevention, avoidance, detection, and resolution will be developed. A working implementation of SCOOP will be provided. It will take into consideration the proposed mechanisms and serve as a basis for further refinements of the model.
暂无评论