576 search results - page 21 / 116 » XML-RL Update Language |
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the decidability and complexity of various model checking problems over one-counter automata. More specifically, we consider succinct one-counter automata, in which...
102
Voted
ICMT
2010
Springer
15 years 3 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
15 years 25 days ago
2010
ACM
Matsuda et al. [2007, ICFP] and Voigtl
100
click to vote
TOOLS
1997
IEEE
15 years 4 months 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...
113
click to vote
ALT
1997
Springer
15 years 3 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...