4743 search results - page 640 / 949 » Introduction to Functional Programming |
177
click to vote
ICCS
2004
Springer
16 years 1 days ago
2004
Springer
We have upgraded the Conceptual Programming Environment (CP) from a single standalone application to a set of component modules to increase flexibility of the environment and to a...
183
click to vote
ILP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
227
click to vote
SPIN
2004
Springer
16 years 13 hour ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
152
click to vote
TYPES
2004
Springer
16 years 12 hour ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
146
Voted
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...