The School of Squiggol: A History of the Bird

Reference. The School of Squiggol: A History of the Bird–Meertens Formalism

Jeremy Gibbons · FM · 2020 · program-calculation · DOI

Cite

Cite as @gibbons-2020-the (helia, typst) · \cite{gibbons-2020-the} (LaTeX)

BibTeX

bibtex · 1 line

@inbook{gibbons-2020-the, title={The School of Squiggol: A History of the Bird–Meertens Formalism}, ISBN={9783030549978}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-030-54997-8_2}, DOI={10.1007/978-3-030-54997-8_2}, booktitle={Formal Methods. FM 2019 International Workshops}, publisher={Springer International Publishing}, author={Gibbons, Jeremy}, year={2020}, pages={35–53} }

hayagriva YAML (typst)

yaml · 15 lines

gibbons-2020-the:
  type: chapter
  title: 'The School of Squiggol: A History of the Bird–Meertens Formalism'
  author: Gibbons, Jeremy
  date: 2020
  page-range: 35-53
  url: http://dx.doi.org/10.1007/978-3-030-54997-8_2
  serial-number:
    doi: 10.1007/978-3-030-54997-8_2
    isbn: '9783030549978'
    issn: 1611-3349
  parent:
    type: book
    title: Formal Methods. FM 2019 International Workshops
    publisher: Springer International Publishing

Download: gibbons-2020-the.bib · gibbons-2020-the.yml

Cited by (1)

Algorithmics bird-2021-algorithmicsIFIP Advances in Information and Communication Technology · 2021

DOI

Cites 63 works (1 here)

With notes (1)

Algorithm Design with Haskell bird-2020-algorithm2020

DOI

External (62)

"Algebra of Programming" as the textbook on Algorithmics (private email) (2020)
How to Calculate with Nondeterministic Functions (2019)
Squiggol versus Squigol (private email) (2019)
Boom and Abstracto (private email) (2019)
Refinement Calculus: A Systematic Introduction (1998)
Algebra of Programming (1997)
Website for The Algebra of Programming (1997)
The making of Algol 68 (1996)
A history of ALGOL 68 (1993)
Aad van Wijngaarden and the Mathematisch Centrum: a personal recollection (1993)
Categories, relations and dynamic programming (1992)
A short introduction to the ABC language (1991)
Algebras for tree algorithms (1991)
Data structures and program transformation (1990)
Programming from Specifications (1990)
The ABC Programmer's Handbook (1990)
Algebraic data types and program transformation (1990)
Research Topics in Functional Programming (1990)
Lectures on Constructive Functional Programming (1989)
Algebraic Identities for Program Calculation (1989)
Constructive Methods in Computer Science (1988)
The specification statement (1988)
An exploration of the Bird-Meertens formalism (1988)
The Munich Project CIP, Volume II: The Programme Transformation System CIP-S (1987)
Logic of Programming and Calculi of Discrete Design (1987)
A calculus of functions for program derivation (1987)
Two exercises found in a book on algorithmics (1987)
An Abstracto reader prepared for IFIP WG 2.1 (1987)
Foop, poof, and parsing (1987)
Transformational programming and the paragraph problem (1986)
Programming with Sets: An Introduction to SETL (1986)
An introduction to the theory of lists (1986)
Algorithmics: towards programming as a mathematical activity (1986)
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L (1985)
Description of B (1985)
A common basis for algorithmic specification and development (1985)
The promotion and accumulation strategies in transformational programming (1984)
Some more examples of algorithmic developments (1984)
Transformational programming (1983)
Finite Differencing of Computable Expressions (1982)
On correct refinement of programs (1981)
Notational suggestions for transformational programming (1981)
Some notational suggestions for transformational programming (1981)
Further thoughts on Abstracto (1981)
Draft proposal for the B programming language (1981)
Issues in the design of a beginners' programming language (1981)
Abstracto 84 (1979)
Letter to members of IFIP WG2.1, 19 September 1979 (1979)
Remarks on Abstracto (1978)
Improving programs by the introduction of recursion (1977)
Notes on recursion elimination (1977)
Letter to members of IFIP WG2.1, 26 July 1977 (1977)
Programming as an evolutionary process (1976)
New directions in algorithmic languages (1976)
Revised report on the algorithmic language ALGOL 68 (1975)
Christopher Strachey: a personal reminiscence (1975)
New directions in algorithmic languages (1975)
On programming: an interim report on the SETL project (1974)
A generative nested-sequential basis for general-purpose programming languages (1973)
Report on the algorithmic language ALGOL 68 (1969)
A Programming Language (1962)
Report on the algorithmic language ALGOL 60 (1960)