1559 search results - page 8 / 312 » The Semantics of Future and Its Use in Program Optimizations |
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
ENTCS
2007
14 years 9 months ago
2007
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
150
click to vote
POPL
2002
ACM
15 years 10 months ago
2002
ACM
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
102
click to vote
DYNAMO
2000
14 years 11 months ago
2000
Feedback-directed optimization (FDO) is a general term used to describe any technique that alters a program's execution based on tendencies observed in its present or past ru...
LISP
2008
14 years 9 months ago
2008
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...