576 search results - page 52 / 116 » XML-RL Update Language |
ECOOP
2007
Springer
15 years 3 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...
188
click to vote
POPL
2009
ACM
16 years 14 days 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...
ICFP
2010
ACM
15 years 27 days 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...
209
click to vote
POPL
2009
ACM
16 years 14 days ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
CCS
2009
ACM
15 years 6 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...