1185 search results - page 96 / 237 » Implementing Functional Languages: a tutorial |
161
click to vote
TPHOL
2000
IEEE
15 years 10 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
166
click to vote
SAC
2004
ACM
16 years 1 days ago
2004
ACM
is an abstract graph reduction machine for the implementation of lazy functional languages. Categorical multi-combinators served as a basis for the evaluation model of µΓCMC. Th...
168
click to vote
WADT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
166
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
178
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The val...