Sciweavers

5415 search results - page 49 / 1083
» The Implementation of Functional Programming Languages
Sort
View
117
Voted
HASKELL
2006
ACM
15 years 8 months ago
GenI: natural language generation in Haskell
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...
Eric Kow
128
Voted
FLOPS
2008
Springer
15 years 4 months ago
EasyCheck - Test Data for Free
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
Jan Christiansen, Sebastian Fischer
97
Voted
SMALLTALK
2007
Springer
15 years 8 months ago
Forward chaining in HALO: an implementation strategy for history-based logic pointcuts
Charlotte Herzeel, Kris Gybels, Pascal Costanza, C...
87
Voted
PLDI
2011
ACM
14 years 5 months ago
A security policy oracle: detecting security holes using multiple API implementations
Varun Srivastava, Michael D. Bond, Kathryn S. McKi...