Nondeterministic folds

Authors:
Clare E. Martin;Sharon A. Curtis
Affiliations:
Department of Computing, Oxford Brookes University, Oxford, UK;Department of Computing, Oxford Brookes University, Oxford, UK
Venue:
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Year:
2006

Citing 8
Cited 1

Predicate calculus and program semantics

Predicate calculus and program semantics
Category theory for computing science

Category theory for computing science
Inductive data types for predicate transformers

Information Processing Letters
An algebraic construction of predicate transformers

Science of Computer Programming - Special issue on mathematics of program construction
Algebra of programming

Algebra of programming
Refinement Calculus: A Systematic Introduction

Refinement Calculus: A Systematic Introduction
Introduction to Functional Programming

Introduction to Functional Programming
Exploring Summation and Product Operators in the Refinement Calculus

MPC '95 Mathematics of Program Construction

Monadic maps and folds for multirelations in an allegory

UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

The map and fold operators are both key elements of every functional programmer's toolkit. In this paper we examine the corresponding concepts in the domain of multirelations, which can be used to model both angelic and demonic nondeterminism.