6201 search results - page 317 / 1241 » Implementation of Axiomatic Language |
142
click to vote
ENTCS
2008
15 years 6 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
182
click to vote
JUCS
2006
15 years 6 months ago
2006
: PEWS is a language for the implementation of web service interfaces. PEWS programs can be used for the description of both individual and composed web services. Individual web se...
187
click to vote
JFP
2002
15 years 6 months ago
2002
We define a family of embedded domain specific languages for generating HTML and XML documents. Each language is implemented as a combinator library in Haskell. The generated HTML...
202
click to vote
IBERAMIA
2010
Springer
15 years 5 months ago
2010
Springer
Surface realisation - the task of producing word strings from non-linguistic input data - has been the focus of a great deal of research in the field of data-to-text Natural Langu...
173
click to vote
LDTA
2010
15 years 4 months ago
2010
This paper investigates the suitability of contemporary DSL tools in the context of enterprise software development. The main focus is on integration issues between the DSL tool, ...