310 search results - page 22 / 62 » A language and framework for invariant-driven transformation... |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
The annotation of the results of database transformations was shown to be very effective for various applications. Until recently, most works in this context focused on positive q...
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
WORDS
2003
IEEE
14 years 1 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
PLILP
1992
Springer
13 years 12 months ago
1992
Springer
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...
ACL
2012
11 years 10 months ago
2012
Many semantic parsing models use tree transformations to map between natural language and meaning representation. However, while tree transformations are central to several state-...