6201 search results - page 202 / 1241 » Implementation of Axiomatic Language |
158
Voted
IADIS
2009
15 years 2 months ago
2009
IONS FOR ROBOT COLLABORATION Bent Bruun Kristensen Maersk Mc-Kinney Moller Institute, University of Southern Denmark Campusvej 55, DK-5230, Odense M, Denmark Collaboration between...
133
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
We present Tefkat, an implementation of a language designed speci cally for the transformation of MOF models using patterns and rules. The language adopts a declarative paradigm, w...
121
click to vote
PADL
1999
Springer
15 years 9 months ago
1999
Springer
Galleys have been introduced by Jeff Kingston as one of the key concepts underlying his advanced document formatting system Lout. Although Lout is built on a lazy functional progra...
152
click to vote
APLAS
2008
ACM
15 years 6 months ago
2008
ACM
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and ...
141
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...