589 search results - page 56 / 118 » A Language for Multi-dimensional Updates |
137
click to vote
PLDI
2006
ACM
15 years 12 months ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...
190
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
We discuss aspects of inlining of virtual method invocations. First, we introduce a new method test to guard inlinings of such invocations, with a di erent set of tradeo s from the...
145
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
274
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...
165
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Bidirectional transformations provide a novel mechanism for synchronizing and maintaining the consistency of information between input and output. Despite many promising results o...