Formal Program Development

Overview of attention for book

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 14 Introduction
Altmetric Badge

Chapter 15 Elements of a relational theory of datatypes
Altmetric Badge

Chapter 16 From dynamic programming to greedy algorithms
Altmetric Badge

Chapter 17 Practical transformation of functional programs for efficient execution: A case study
Altmetric Badge

Chapter 18 Behavior-oriented specification in Gist
Altmetric Badge

Chapter 19 Derivation of graph and pointer algorithms
Altmetric Badge

Chapter 20 The refinement calculus, and literate development
Altmetric Badge

Chapter 21 Formal problem specification on an algebraic basis
Altmetric Badge

Chapter 22 Program development in an algebraic setting
Altmetric Badge

Chapter 23 Rules and strategies for program transformation
Altmetric Badge

Chapter 24 Endomorphic typing
Altmetric Badge

Chapter 25 Automating the design of algorithms
Altmetric Badge

Chapter 26 Virtual data structures

Attention for Chapter 15: Elements of a relational theory of datatypes

Altmetric Badge

Mentioned by

wikipedia: 1 Wikipedia page

Citations

dimensions_citation: 7 Dimensions

Readers on

mendeley: 11 Mendeley
citeulike: 2 CiteULike

Summary Wikipedia Dimensions citations

So far, Altmetric has seen 1 Wikipedia article.

English

Bird–Meertens formalism

Cited by user MaD70 on 26 Dec 2022

The Bird–Meertens formalism (BMF) is a calculus for deriving programs from specifications (in a functional-programming setting) by a process of equational reasoning.

This page shows the most recent Wikipedia articles that mention this research output.

Click here to find out how to access more activity.