Development and Verification of Parallel Algorithms in the Data Field Model

Development and Verification of Parallel Algorithms in the Data Field Model (2000)

Cached

Download Links

[www.mrtc.mdh.se]

by Björn Lisper , Jonas Holmerin

Venue:	Proc. 2nd Int. Workshop on Constructive Methods for Parallel Programming
Citations:	1 - 1 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Development and Verification of Parallel Algorithms in the Data Field Model	user correction - Legacy Corrections
AUTHOR NAME	Björn Lisper	user correction - Legacy Corrections
AUTHOR AFFIL	1	user correction - Legacy Corrections
AUTHOR NAME	Jonas Holmerin	user correction - Legacy Corrections
AUTHOR AFFIL	; 2; 1; Dept. of Computer Engineering; 2; Department of Numerical Analysis and Computing Science, Royal Institute of	user correction - Legacy Corrections
AUTHOR ADDR	; Malardalen University, P.O. Box 883, S-721 23; Vasteras, SWEDEN,; Technology, S-100 44 Stockholm, SWEDEN,	user correction - Legacy Corrections
ABSTRACT	. Data fields are partial functions provided with explicit domain information. They provide a very general, formal model for collections of data. Algorithms computing data collections can be described in this formalism at various levels of abstraction: in particular, explicit data distributions are easy to model. Parallel versions of algorithms can then be formally verified against algorithm specifications in the model. Functions computing data fields can be directly programmed in the language Data Field Haskell. In this paper we give a brief introduction to the data field model. We then describe Data Field Haskell and make a small case study of how an algorithm and a parallel version of it both can be specified in the language. We then verify the correctness of the parallel version in the data field model. 1 Introduction Many computing applications require indexed data structures. In many applications the indexing capability provides an important part of the model. On the ...	user correction - Legacy Corrections
YEAR	2000	INFERENCE
VENUE	Proc. 2nd Int. Workshop on Constructive Methods for Parallel Programming	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	115--130	INFERENCE
CITATIONS	23 found	ParsCit 1.0