5415 search results - page 39 / 1083 » The Implementation of Functional Programming Languages |
EMSOFT
2001
Springer
14 years 1 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
EMSOFT
2009
Springer
14 years 3 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
WCFLP
2005
ACM
14 years 2 months ago
2005
ACM
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 ...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
TBILLC
2005
Springer
14 years 2 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the de...