Skip to search formSkip to main contentSkip to account menu

Bird–Meertens formalism

Known as: Bird-Meertens formalism, Squigol, Squiggol 
The Bird–Meertens formalism is a calculus for deriving programs from specifications (in a functional-programming setting) by a process of equational… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
ALGOLAnamorphismCatamorphismFunctional programming

Broader (1)

Program derivation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Professional Online Presence and Learning Networks: Educating for Ethical Use of Social Media
In a teacher education context, this study considers the use of social media for building a professional online presence and… 
Highly Cited
2014
Highly Cited
2014
Bird mating optimizer: An optimization algorithm inspired by bird mating strategies
  • A. Askarzadeh
  • Communications in nonlinear science & numerical…
  • 2014
  • Corpus ID: 120293400
Highly Cited
2012
Highly Cited
2012
A formal approach to the specification and transformation of constraints in MDE
2009
2009
MBMF: A framework for macroprogramming data-centric sensor network applications using the Bird-Meertens Formalism
Often, the dependency of sensor network applications on sensor node hardware architecture and sensor network topology restricts… 
1995
1995
Calculating Recurrences Using the Bird-Meertens Formalism
The Bird-Meetens formalism is an approach to software development and computation based on datatype theories. In this paper we… 
1994
1994
Mapping Adl to the Bird-Meertens Formalism
62 7] David Busvine. Implementing recursive functions as processor farms. The BMF code produced by the translator contains no… 
Highly Cited
1993
Highly Cited
1993
The Bird-Meertens Formalism as a Parallel Model
The expense of developing and maintaining software is the major obstacle to the routine use of parallel computation. Architecture… 
1992
1992
Parallelism and the Bird-Meertens Formalism
One of the major reasons for the lack of practical use of parallel computers has been the absence of a suitable model of parallel… 
Highly Cited
1989
Highly Cited
1989
An Exploration of the Bird-Meertens Formalism
Two formalisms that have been used extensively in the last few years for the calculation of programs are the Eindhoven quantiier… 
Highly Cited
1984
Highly Cited
1984
Ornithogenic soils of the Cape Bird adelie penguin rookeries, Antarctica
SummaryAmmonia evolution and urease, phosphatase and protease activities were measured after field incubations of soil from 5… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)