2714 search results - page 78 / 543 » On the Notion of Value Object |
192
click to vote
LOPSTR
2007
Springer
16 years 9 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
187
click to vote
PODC
2005
ACM
15 years 11 months ago
2005
ACM
We consider four problems on distance estimation and object location which share the common flavor of capturing global information via informative node labels: low-stretch routin...
171
click to vote
POS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Aggressive optimization of programs often relies on analysis and transformation that cuts across the natural abstraction boundaries of the source programming language, su...
174
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
161
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...