6054 search results - page 304 / 1211 » Implementation of Andorra-based Languages |
194
Voted
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 ...
165
click to vote
EUROCAST
2007
Springer
16 years 27 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...
159
click to vote
IFL
2007
Springer
16 years 26 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...
183
click to vote
IFL
2007
Springer
16 years 26 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...
196
click to vote
UML
2005
Springer
16 years 6 days ago
2005
Springer
This paper summarizes an approach to support evolution of software models by means of a transformation catalogue. These transformations treat UML class diagram models, OCL constrai...