Sciweavers

1185 search results - page 39 / 237
» Implementing Functional Languages: a tutorial
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
14 years 9 months ago
A Framework for Timed Concurrent Constraint Programming with External Functions
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
María Alpuente, Bernhard Gramlich, Alicia V...
ICCS
2004
Springer
15 years 3 months ago
Towards a Generalised Runtime Environment for Parallel Haskells
Abstract. Implementations of parallel dialects (or: coordination languages) on a functional base (or: computation) language always have to extend complex runtime environments by th...
Jost Berthold
ERLANG
2006
ACM
15 years 3 months ago
Model checking erlang programs: the functional approach
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
Lars-Åke Fredlund, Clara Benac Earle
WCFLP
2005
ACM
15 years 3 months ago
Translating curry to haskell system demo
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
Bernd Braßel, Frank Huch
KONVENS
1992
15 years 1 months ago
Flexible Semantics Communication in Integrated Speech / Language Architectures
: We consider communication between modules in an integrated architecture for Speech and Natural Language (NL), in particular the communication with the semantics module. In an int...
Abdel Kader Diagne, John Nerbonne