• Publications
  • Influence
Initial Algebra Semantics and Continuous Algebras
TLDR
An overview of initial algebra semantics which permits unified algebraic treatment of iterative and recursive semantic features in the same framework as basic operations. Expand
  • 872
  • 28
  • PDF
Advances in managing chronic disease
Chronic diseases have been around as long as humans. But now, in most industrialised nations and in many developing countries, they predominate among the leading causes of death.1 For many yearsExpand
  • 71
  • 4
Data type specification: Parameterization and the power of specification techniques
TLDR
This paper extends our earlier work on abstract data types by providing an algebraic treatment of parametrized data types (e.g., sets-of-(), stacks-of, etc. Expand
  • 131
  • 2
Data Type Specification: Parameterization and the Power of Specification Techniques
TLDR
We investigate the "hidden function" problem (the need to include operat ions in specifications which we want to be hidden from the user); we prove that condit ional specifications are inherently more powerful than equational specifications; we compare the power of the algebraic approach taken here with the categorical approach of Lehman and Smyth . Expand
  • 127
  • 2
More on Advice on Structuring Compilers and Proving Them Correct
TLDR
This paper can be seen as the fourth in the sequence: McCarthy and Painter (1967), Burstall and Landin (1970) and Morris (1973). Expand
  • 44
  • 2
A Uniform Approach to Inductive Posets and Inductive Closure
TLDR
Abstract The definition scheme, “A poset P is Z -inductive if it has a subposet B of Z -compact lements such that for every element of p of P there is a Z -set S in B such that p = ⨆S, becomes meaningful when we replace the symbol of Z by such adjectives as "sirected" and "chain" . Expand
  • 60
  • 2
Rational algebraic theories and fixed-point solutions
TLDR
In a wide variety of situations, computer science has found it convenient to define complex object as (fixed-point) solutions of certain equations. Expand
  • 98
  • 1
Parameter Passing in Algebraic Specification Languages
TLDR
We study the semantics of the parameter passing mechanism in algebraic specification languages. Expand
  • 53
  • 1
Parameter Passing in Algebraic Specification Languages
TLDR
We study the semantics of the parameter passing mechanism in algebraic specification languages. Expand
  • 29
  • 1
Some Fundamentals of Order-Algebraic Semantics
TLDR
The order-theoretic enrichment of the algebraic approach to theoretical computer science, and to programming in particular, can be accomplished rather directly and elegantly, and appears to have a wide range of applications. Expand
  • 45
  • 1