6201 search results - page 136 / 1241 » Implementation of Axiomatic Language |
149
click to vote
ISCIS
2009
Springer
15 years 11 months ago
2009
Springer
—We describe XLambda, a functional language with XML syntax, and its processor which is implemented fully and completely in XSLT. XLambda has all the basic features of a function...
103
click to vote
SIGCSE
2006
ACM
15 years 10 months ago
2006
ACM
We describe the implementation of “MARS,” a GUI, Java-based simulator for the MIPS assembly language. MIPS, the computer architecture underlying the simulated assembly languag...
158
click to vote
DOOD
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
135
click to vote
KONVENS
1992
15 years 8 months ago
1992
: We consider communication between modules in an integrated architecture for Speech and Natural Language (NL), in particular the communication with the semantics module. In an int...
128
click to vote
LPAR
2000
Springer
15 years 8 months ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...