Abstract | ||
---|---|---|
In this paper, an example of developing and proving of a distributed functional program is shown. The chosen example is the looking for non-trivial repetitions in Pascal's triangle. A sketch of a proof of the sequential implementation is carried out following [10]. The results of that proof are also applied to the distributed version, which is derived from the sequential one by transforming some common programming patterns. The distributed program has been implemented and tested using a distributed extension of the functional language Objective Caml described in [11] |
Year | DOI | Venue |
---|---|---|
1997 | 10.1007/BFb0025070 | EUROCAST |
Keywords | Field | DocType |
formal proofs,distributed com- puting,functional programming,distribution function,functional language | Discrete mathematics,Programming language,Programming patterns,Functional programming,Computer science,Theoretical computer science,Mathematical proof,Caml,Distributed computing,Sketch,Semantics of logic | Conference |
ISBN | Citations | PageRank |
3-540-63811-3 | 0 | 0.34 |
References | Authors | |
3 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Víctor M. Gulías | 1 | 9 | 8.03 |
J. Santiago Jorge | 2 | 6 | 3.31 |
Juan J. Quintela | 3 | 0 | 1.01 |
José Luis Freire | 4 | 47 | 8.20 |