6201 search results - page 180 / 1241 » Implementation of Axiomatic Language |
136
click to vote
SLE
2009
Springer
15 years 11 months ago
2009
Springer
Modularisation can reduce the effort in designing and maintaining language specifications. Existing approaches to language modularisation are typically either focused on language ...
118
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
160
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
137
click to vote
CICLING
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...
150
click to vote
MOZ
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The design and implementation of a capability secure multiparadigm language should be guided from its conception by proven principles of secure language design. In this p...