SEKE
1994
Springer
14 years 20 hour ago
1994
Springer
We describe a technique for the control of production rules firing in an object-oriented setting. This technique is based on the separation of control rules from ordinary domain r...
SEKE
1994
Springer
14 years 20 hour ago
1994
Springer
This paper presents a model of estimating the similarity of software artifacts so as to promote their analogical reuse. The model permits comparisons between artifacts developed a...
SEKE
1993
Springer
14 years 22 hour ago
1993
Springer
Many reported difficulties with real-life applications of knowledge-based technology stem from the fact that the traditionally performed prototyping projects are hard to manage an...
SEKE
1993
Springer
14 years 22 hour ago
1993
Springer
Software metrics provide effective methods for characterizing software. Metrics have traditionally been composed through the definition of an equation, but this approach is limite...
SEKE
1993
Springer
14 years 22 hour ago
1993
Springer
SEKE
1993
Springer
14 years 22 hour ago
1993
Springer
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...
SEKE
1993
Springer
14 years 22 hour ago
1993
Springer
PEPM
1994
ACM
14 years 23 hour ago
1994
ACM
The performance of object-oriented languages can be greatly improved if methods can be specialized for particular classes of arguments. Such specialization can provide the compile...
PEPM
1994
ACM
14 years 23 hour ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
PEPM
1994
ACM
14 years 23 hour ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...