589 search results - page 25 / 118 » A Language for Multi-dimensional Updates |
ICMT
2010
Springer
13 years 11 months ago
2010
Springer
Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of origin...
ICFP
2010
ACM
13 years 9 months ago
2010
ACM
Matsuda et al. [2007, ICFP] and Voigtl
POPL
2012
ACM
12 years 3 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
TOOLS
1997
IEEE
14 years 1 days ago
1997
IEEE
PROPAGATOR is a family of patterns for consistently updating objects in a dependency network. The propagator patterns are found in such diverse applications as MAKE, WWW, spreadsh...
ALT
1997
Springer
13 years 11 months ago
1997
Springer
A pattern is a string of constant and variable symbols. The language generated by a pattern is the set of all strings of constant symbols which can be obtained from by substituti...