394 search results - page 18 / 79 » Composition mechanisms for retrenchment |
ICLP
1992
Springer
14 years 20 days ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
JOT
2006
13 years 8 months ago
2006
For software engineering to meet today's challenges, well designed reuse and composition mechanisms must be established in both theory and practice. Starting roughly ten year...
LCPC
1993
Springer
14 years 20 days ago
1993
Springer
This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suita...
PERCOM
2003
ACM
14 years 8 months ago
2003
ACM
The proliferation of wireless networks, hand-held PCs, touch panels, large flat displays, sensors, and embedded devices is transforming traditional habitats and living spaces into...
ENTCS
2010
13 years 8 months ago
2010
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...