174 search results - page 3 / 35 » A Typeful Approach to Object-Oriented Programming with Multi... |
FIW
1997
13 years 7 months ago
1997
In this paper, we address the feature interaction problem as a software composition problem. We show the applicability of a new programming style, feature-oriented programming (FO...
ICCL
1994
IEEE
13 years 10 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
LISP
2008
13 years 6 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
JOT
2010
13 years 4 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
OOPSLA
1991
Springer
13 years 10 months ago
1991
Springer
PICASSOis a graphical user interface development environment built using the Common Lisp Object System (CLOS). This paper describes how CLOS features including multiple inheritanc...