870 search results - page 21 / 174 » The MT model transformation language |
108
click to vote
WWW
2005
ACM
16 years 1 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
145
click to vote
JAR
2008
15 years 22 days ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
81
Voted
ICMT
2009
Springer
15 years 7 months ago
2009
Springer
73
Voted
IJCNLP
2004
Springer
15 years 6 months ago
2004
Springer
85
Voted
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...