6201 search results - page 337 / 1241 » Implementation of Axiomatic Language |
163
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
All classical -terms typable with disjunctive normal forms are shown to share a common computational behavior: they implement a local exception handling mechanism whose exact work...
197
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present DBtk, a toolkit for Directed Bigraphs. DBtk supports a textual language for directed bigraphs, the graphical visualization of bigraphs, the calculation of IPO ...
169
click to vote
EUROCAST
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, we present a new approximation in Natural Language Processing (nlp) aimed at knowledge representation and acquisition using a formal syntactic frame. In practice, we...
161
click to vote
IFL
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...
186
Voted
IFL
2007
Springer
16 years 28 days ago
2007
Springer
In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our...