6201 search results - page 257 / 1241 » Implementation of Axiomatic Language |
139
click to vote
OOPSLA
2000
Springer
15 years 9 months ago
2000
Springer
An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretica...
119
click to vote
ENTCS
2006
15 years 5 months ago
2006
In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures...
131
click to vote
PPDP
2010
Springer
15 years 3 months ago
2010
Springer
This article presents HSS1 , a compiler for CSS. It is first argued that generating CSS improves portability and maintainability of CSS files. This claim is supported by realist...
183
click to vote
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
199
click to vote
ECOWS
2008
Springer
15 years 7 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...