Algebraic Methods for Optimization Problems

Authors:
Richard S. Bird;Jeremy Gibbons;Shin-Cheng Mu
Affiliations:
-;-;-
Venue:
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Year:
2000

Citing 14
Cited 0

Programs are predicates

Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Relational algebraic semantics of deterministic and nondeterministic programs

Theoretical Computer Science
Essays in computing science

Essays in computing science
Introduction to algorithms

Introduction to algorithms
The craft of Prolog

The craft of Prolog
Programming by expression refinement: the KMP algorithm

Beauty is our business
A practical theory of programming

A practical theory of programming
Computer program construction

Computer program construction
Algebra of programming

Algebra of programming
Non-deterministic expressions and predicate transformers

Information Processing Letters
The Science of Programming

The Science of Programming
Invited Talk: Pointwise Relational Programming

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Elements of a Relational Theory of Datatypes

Proceedings of the IFIP TC2/WG 2.1 State-of-the-Art Report on Formal Program Development
Logical Specifications for Functional Programs

Proceedings of the Second International Conference on Mathematics of Program Construction

Quantified Score

Hi-index	0.00

Visualization

Abstract

We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an extended case study for a class of optimization problems, deriving efficient functional programs from concise relational specifications.