1216 search results - page 51 / 244 » Translation analysis and translation automation |
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
ICDE
2006
IEEE
14 years 9 months ago
2006
IEEE
Updates over virtual XML views that wrap relational data are not well supported by XML data management systems. This paper studies the problem of whether a correct relational upda...
LICS
1996
IEEE
14 years 14 days ago
1996
IEEE
In the automata-theoretic approach to verification, we translate specifications to automata. Complexity considerations motivate the distinction between different types of automata...
LICS
1994
IEEE
14 years 12 days ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
ICLP
2010
Springer
14 years 6 days ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...