6740 search results - page 631 / 1348 » Using Classification as a Programming Language |
164
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
176
click to vote
LCTRTS
1999
Springer
15 years 10 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
177
click to vote
IFIP
1998
Springer
15 years 10 months ago
1998
Springer
Electronic Commerce is a field of application that is distributed by nature where different parties share information and work concurrently and cooperatively on objects, potential...
172
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
183
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Safe is a first-order functional language with unusual memory management features: memory can be both explicitly and implicitly deallocated at some specific points in the...