20441 search results - page 245 / 4089 » Locally Computable Structures |
125
click to vote
ENTCS
2007
15 years 4 months ago
2007
We present local Hoare reasoning about data update, using Context Logic for analysing structured data. We apply our reasoning to tree update, heap update which is analogous to loc...
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
163
click to vote
COOPIS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper reports on a practical implementation of a context mediator for the fixed income securities industry. We describe industry circumstances and the data and calculation se...