80 search results - page 9 / 16 » A Unifying Framework for Correct Program Construction |
181
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
106
click to vote
AADEBUG
1997
Springer
15 years 7 months ago
1997
Springer
Previously the debugging of optimised code has not been possible without recompiling the executable code and preventing the use of code optimisation techniques. Although current r...
136
click to vote
ATAL
2000
Springer
15 years 7 months ago
2000
Springer
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a li...
166
click to vote
HPDC
2003
IEEE
15 years 8 months ago
2003
IEEE
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...
134
click to vote
PLILP
1992
Springer
15 years 7 months ago
1992
Springer
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...