Sciweavers

14 search results - page 1 / 3
» Relating Abstract Datatypes and Z-Schemata
Sort
View
90
Voted
PVM
2000
Springer
15 years 1 months ago
Runtime Checking of Datatype Signatures in MPI
Abstract. The MPI standard provides a way to send and receive complex combinations of datatypes (e.g., integers and doubles) with a single communication operation. The MPI standard...
William Gropp
CIE
2006
Springer
15 years 1 months ago
Datatype-Generic Reasoning
Abstract. Datatype-generic programs are programs that are parameterised by a datatype. Designing datatype-generic programs brings new challenges and new opportunities. We review th...
Roland Carl Backhouse
74
Voted
MST
2008
121views more  MST 2008»
14 years 9 months ago
Datatype-Generic Termination Proofs
Abstract. Datatype-generic programs are programs that are parameterised by a datatype. We review the allegorical foundations of a methodology of designing datatype-generic programs...
Roland Carl Backhouse, Henk Doornbos
ECOOP
2009
Springer
15 years 10 months ago
Modular Visitor Components
Abstract. The expression families problem can be defined as the problem of achieving reusability and composability across the components involved in a family of related datatypes a...
Bruno C. D. S. Oliveira