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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1989-2015
02419892015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Often, the dependency of sensor network applications on sensor node hardware architecture and sensor network topology restricts… (More)
  • figure 2
  • figure 1
  • table 1
  • figure 3
  • figure 4
Is this relevant?
2008
2008
We show how wavelet techniques allow to derive irregularity properties of functions on two particular examples: Lacunary Fourier… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2008
2008
This thesis describes some of the problems in providing care for patients with breast cancer. These are then used to motivate the… (More)
  • table 2.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
Is this relevant?
2004
2004
Natural scenes contain a wide range of textured motion phenomena which are characterized by the movement of a large amount of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
This study examined subtle forms of discrimination directed towards Arabs. Participants were sent a ‘‘lost’’ e-mail intended for… (More)
  • table 1
  • figure 1
Is this relevant?
2001
2001
This paper is an attempt to apply the reasoning principles and calculational style underlying the so-called Bird-Meertens… (More)
Is this relevant?
1995
1995
An SPMD parallel implementation schema for divide-and-conquer specifications is proposed and derived by formal refinement… (More)
Is this relevant?
1995
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… (More)
Is this relevant?
1992
1992
Attention on constraint-based grammar formalisms such as Head-driven Phrase Structure Grammar (HPSG) has focussed on syntax and… (More)
  • figure 1
  • table 1
Is this relevant?