6054 search results - page 106 / 1211 » Implementation of Andorra-based Languages |
130
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...
131
Voted
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
In this article we present GenI, a chart based surface realisation tool implemented in Haskell. GenI takes as input a set of first order terms (the input semantics) and a grammar...
118
click to vote
PLILP
1990
Springer
15 years 8 months ago
1990
Springer
Languages with polymorphic types (e.g. ML) have traditionally been implemented using Lisp-like data representations--everything has to fit in one word, if necessary by being heap-...
117
click to vote
ECOOP
1987
Springer
15 years 8 months ago
1987
Springer
The Smalltalk-80 system offers a language with a small and elegant conceptual core, and a highly interactive programming environment. We believe, however, that it could be made mor...
148
click to vote
SPLC
2008
15 years 6 months ago
2008
The adoption of Domain-Specific Modeling Languages (DSMLs) for generating framework-based applications has proved to be an effective way of enforcing the correct use of frameworks...