Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 239,071,190 papers from all fields of science
Search
Sign In
Create Free Account
Bird–Meertens formalism
Known as:
Bird-Meertens formalism
, Squigol
, Squiggol
Expand
The Bird–Meertens formalism is a calculus for deriving programs from specifications (in a functional-programming setting) by a process of equational…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
ALGOL
Anamorphism
Catamorphism
Functional programming
Expand
Broader (1)
Program derivation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Iron Bird Facility for Ground-Based Testing of Unmanned Aerial Vehicle
Lysandros Anastasopoulos
,
P. Steudel
,
M. Hornung
2019
Corpus ID: 86856886
Progress in aerospace science and measurement technology introduces new potentials for Unmanned Aerial Vehicles (UAV) as…
Expand
2018
2018
Modeling framework for designing and analyzing document-centric information systems based on HypergraphDB
András Béleczki
,
Bálint Molnár
2018
Corpus ID: 53471792
Using Document-centric Information Systems (IS ) in an Enterprise is very common nowadays: the IS s serves as the basis for…
Expand
2015
2015
Ōtomo’s Exploding Cities – The Intersection of Class and City in Ōtomo Katsuhiro’s Works Before, During, and After the Bubble Economy in Japan
Sebastian Klausner
2015
Corpus ID: 51841491
In one of Ōtomo Katsuhiro’s interviews held during the sponsoring events for Metropolis (2001) he stated that, characters aside…
Expand
2014
2014
Humming Bird with Coloured Wings: A Feedback Security Approach
S. Janakirama
,
K. S. Kumar
,
+4 authors
J. Rayappan
2014
Corpus ID: 61502329
2014
2014
First record of the erythronotus colouration in a female individual Lacerta agilis (Laurenti, 1768) in Croatia
Igor Vilaj
,
Paula Dvorski
2014
Corpus ID: 191166816
The Sand Lizard (Lacerta agilis Laurenti, 1768) is a small to medium sized lizard, reaching about 18 cm total length (Edgar…
Expand
2012
2012
At The Mercy Of The Millers: Empire, Science, And Import Substitution In Colombia, 1930-1966
Rebecca Tally
2012
Corpus ID: 153655821
2006
2006
Experimental Measures of Extra Dimensions On-Board the International Space Station ( ISS ) and the Existence of the Particle Z Due to a Higher Dimensional Spacetime
F. Loup
2006
Corpus ID: 17801710
We use the conformal metric as described in Kar-Sinha’s work on the gravitational bending of light, in a 5D spacetime to…
Expand
1995
1995
Parallelization of divide-and-conquer in the Bird-Meertens formalism
S. Gorlatch
,
C. Lengauer
Formal Aspects of Computing
1995
Corpus ID: 2084784
An SPMD parallel implementation schema for divide-and-conquer specifications is proposed and derived by formal refinement…
Expand
1994
1994
Mapping Adl to the Bird-Meertens Formalism
Brad J. Alexander
1994
Corpus ID: 58765192
62 7] David Busvine. Implementing recursive functions as processor farms. The BMF code produced by the translator contains no…
Expand
1983
1983
Projets de logement urbain pour les ménages à faible revenu : bibliographie commentée des recherches subventionnées par le CRDI et la BIRD
Crdi
,
B. Mondiale
1983
Corpus ID: 132858813
Version anglaise dans la bibliotheque: Low income urban shelter projects : an annotated bibliography of research funded by IDRC…
Expand