6201 search results - page 374 / 1241 » Implementation of Axiomatic Language |
194
click to vote
JTRES
2010
ACM
15 years 7 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
173
click to vote
ENTCS
2007
15 years 6 months ago
2007
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...
163
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
160
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe the design and implementation of a parser combinator library in Newspeak, a new language in the Smalltalk family. Parsers written using our library are remarkably simi...
170
click to vote
COLING
2002
15 years 6 months ago
2002
One of the key issues in spoken language translation is how to deal with unrestricted expressions in spontaneous utterances. This research is centered on the development of a Chin...