Conference item icon

Conference item

The school of Squiggol: A history of the Bird-Meertens formalism

Abstract:

The Bird–Meertens Formalism, colloquially known as “Squiggol”, is a calculus for program transformation by equational reasoning in a function style, developed by Richard Bird and Lambert Meertens and other members of IFIP Working Group 2.1 for about two decades from the mid 1970s. One particular characteristic of the development of the Formalism is fluctuating emphasis on novel ‘squiggly’ notation: sometimes favouring notational exploration in the quest for conciseness and precision, and some...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-030-54997-8_2

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Sub department:
Computer Science
Role:
Author
ORCID:
0000-0002-8426-9917
Publisher:
Springer
Series:
Lecture Notes in Computer Science
Series number:
12233
Pages:
35-53
Publication date:
2020-08-11
Acceptance date:
2020-02-28
Event title:
Workshop on History of Formal Methods 2019
Event location:
Porto, Portugal
Event website:
http://www.fmeurope.org/2019/08/21/hfm-2019-history-of-formal-methods-workshop-fm2019/
Event start date:
2019-10-11
Event end date:
2019-10-11
DOI:
EISBN:
9783030549978
ISBN:
9783030549961
Language:
English
Keywords:
Pubs id:
1090368
Local pid:
pubs:1090368
Deposit date:
2020-03-01

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP