43 search results - page 8 / 9 » A Logic Based Language for Parametric Inheritance |
KBSE
2005
IEEE
13 years 10 months ago
2005
IEEE
Traits are basically mixins or interfaces but with method bodies. In languages that support traits, classes are composed out of traits. There are two main advantages with traits. ...
ICSE
1993
IEEE-ACM
13 years 9 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
RV
2010
Springer
13 years 3 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
PLILP
1992
Springer
13 years 9 months ago
1992
Springer
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
SIGLEX
1991
13 years 8 months ago
1991
Explaining how the meaning of words relate to the meaning of the utterance in which they are used is of utmost importance. The most common approaches view the meaning of an uttera...