Most modern programming systems such as Java allow us to link independently developed components together dynamically. this makes it possible to develop and deploy software on a per component basis. However, a number ...
详细信息
ISBN:
(纸本)354027992X
Most modern programming systems such as Java allow us to link independently developed components together dynamically. this makes it possible to develop and deploy software on a per component basis. However, a number of Java developers have reported a problem, ironically called the version barrier, imposed by the strict separation of namespaces. the version barrier prohibits one component from passing an instance to another component if each component contains that class type. this paper introduces a novel concept for Java namespaces, called sister namespaces, to address this problem. Sister namespaces can relax the version barrier between components. the main purpose of this paper is to provide a mechanism for relaxing the version barrier, while still allowing type-safe instance accesses between components with negligible performance penalties in regular execution.
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.
object-oriented solutions are becoming an established paradigm for writing robust, reusable software. Many object-oriented languages have begun to appear. this paper examines how the special object-oriented concepts m...
详细信息
objectorientedprogramming and design patterns introduce a high level of abstraction that allows us to implement and work with mathematical abstractions. We analyze and design an objectoriented algebraic library, th...
详细信息
ISBN:
(纸本)1581138334
objectorientedprogramming and design patterns introduce a high level of abstraction that allows us to implement and work with mathematical abstractions. We analyze and design an objectoriented algebraic library, that allows working not only with concrete algebraic structures, but also with abstract algebraic structures. the advantages of this approach mainly result from the usage of creational design patterns, reflection and dynamic loading, and representation independence. these introduce significant flexibility and abstraction. Using this library, we may work with abstract algebraic structures, such as: groups, rings, fields, etc., define new algebraic structures, and operate withthem in abstract and concrete mathematical ways.
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.
In this paper we present aspect-orientedprogramming laws that are useful for deriving refactorings for AspectJ. the laws help developers to verify if the transformations they define preserve behavior. We illustrate t...
详细信息
ISBN:
(纸本)1581138334
In this paper we present aspect-orientedprogramming laws that are useful for deriving refactorings for AspectJ. the laws help developers to verify if the transformations they define preserve behavior. We illustrate that by deriving several AspectJ refactorings. We also show that our laws are useful for restructuring two Java applications withthe aim of using aspects to modularize common crosscutting concerns.
It's a pleasure to welcome you to OOPSLA 2004, the 19th Annual conference 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 19th Annual conference 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-orientedprogramming languages, 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.
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.
objects first is a pedagogy that tries to introduce the core concepts of object-orientedprogramming - classes, objects, and methods - as early as possible in a programming course, even before variables, types, assign...
详细信息
ISBN:
(纸本)1581138334
objects first is a pedagogy that tries to introduce the core concepts of object-orientedprogramming - classes, objects, and methods - as early as possible in a programming course, even before variables, types, assignments and control structures are explicitly introduced. the concept of a named interface is typically introduced at a much later stage, usually in connection with inheritance, polymorphism, and abstract classes. In this paper we point out that interfaces as a language mechanism can be introduced much earlier, even before inheritance. this way the concept of an explicit class interface can be decoupled from the more complicated issues of inheritance and subtype-polymorphism.
the introduction of programming education withobject-oriented languages slowly migrates down the curriculum and is now often introduced at the high school level. this migration requires teaching tools that are adequa...
详细信息
ISBN:
(纸本)1581138334
the introduction of programming education withobject-oriented languages slowly migrates down the curriculum and is now often introduced at the high school level. this migration requires teaching tools that are adequate for the intended target audience. In this paper, we present a new tool, named greenfoot, for teaching object-orientedprogramming aimed at students at or below college level, with special emphasis of supporting school age learners. Greenfoot was designed by analysing and combining the most beneficial aspects of several existing tools. It aims at combining the simplicity and visual appeal of microworlds with much of the flexibility and interaction of BlueJ. To achieve its goals of providing a suitable learners' environment, greenfoot provides a meta-framework that allows easy creation of different, significantly varied microworlds.
暂无评论