6054 search results - page 149 / 1211 » Implementation of Andorra-based Languages |
168
click to vote
ESOP
2007
Springer
15 years 11 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...
145
Voted
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...
157
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...
162
click to vote
VL
2000
IEEE
15 years 9 months ago
2000
IEEE
The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation...
163
click to vote
SSDBM
1998
IEEE
15 years 9 months ago
1998
IEEE
We address the issue of designing effective query languages for OLAP databases. The basis of our investigation is MD, a new data model for multidimensional databases that, unlike ...