3311 search results - page 102 / 663 » Deductive Object Programming |
ECOOP
1998
Springer
15 years 4 months ago
1998
Springer
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies th...
160
click to vote
ECOOP
1998
Springer
15 years 4 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
TOOLS
1998
IEEE
15 years 4 months ago
1998
IEEE
Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...
ECOOP
1994
Springer
15 years 4 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
101
click to vote
FIW
1997
15 years 1 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...