870 search results - page 21 / 174 » The MT model transformation language |
WWW
2005
ACM
14 years 11 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...
JAR
2008
13 years 11 months 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...
ICMT
2009
Springer
14 years 5 months ago
2009
Springer
IJCNLP
2004
Springer
14 years 4 months ago
2004
Springer
ICALP
2000
Springer
14 years 2 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,...