Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Abstract This paper introduces a formal approach to constraint-aware model transformation which supports specifying constraints… Expand
Is this relevant?
2009
2009
Often, the dependency of sensor network applications on sensor node hardware architecture and sensor network topology restricts… Expand
  • figure 2
  • figure 1
  • table 1
  • figure 3
  • figure 4
Is this relevant?
2001
2001
Abstract This paper is an attempt to apply the reasoning principles and calculational style underlying the so-called Bird… Expand
Is this relevant?
1995
1995
The Bird-Meetens formalism is an approach to software development and computation based on datatype theories. In this paper we… Expand
Is this relevant?
1994
1994
62 7] David Busvine. Implementing recursive functions as processor farms. The BMF code produced by the translator contains no… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The expense of developing and maintaining software is the major obstacle to the routine use of parallel computation. Architecture… Expand
Is this relevant?
1992
1992
One of the major reasons for the lack of practical use of parallel computers has been the absence of a suitable model of parallel… Expand
Is this relevant?
1990
1990
We investigate algorithms for hybrid inferences in KL-ONE-based knowledge representation systems. We employ two kinds of… Expand
Is this relevant?
Highly Cited
1989
Highly Cited
1989
Two formalisms that have been used extensively in the last few years for the calculation of programs are the Eindhoven quantiier… Expand
Is this relevant?
Highly Cited
1984
Highly Cited
1984
SummaryAmmonia evolution and urease, phosphatase and protease activities were measured after field incubations of soil from 5… Expand
  • table 1
  • table 2
  • table 3
  • figure 1
Is this relevant?