674 search results - page 86 / 135 » Explanation Based Program Transformation |
111
click to vote
TON
2012
13 years 5 days ago
2012
—The benefits of using mobile base station to prolong sensor network lifetime have been well recognized. However, due to the complexity of the problem (time-dependent network to...
IFL
2004
Springer
15 years 3 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
DEDUCTIVE
1997
14 years 11 months ago
1997
We present a query language, called the Datalog++ , for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirabl...
ASE
2005
14 years 9 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
174
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...