• Publications
  • Influence
The PROSPER Toolkit
TLDR
The PROSPER (Proof andS pecification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a flexible format so that they may be treated as components. Expand
  • 76
  • 3
Satisfaction for All: A Framework for Assessing Life Satisfaction for All People with Learning Disabilities
Most services for people with learning disabilities are accessed by service users with varying learning disabilities and communication needs. This article presents a framework for assessing lifeExpand
  • 6
  • 1
The Move from Hospital: A Long-Term Follow-up of Challenging Behaviour Levels
Levels of challenging behaviour were studied in a sample of 16 people who moved from a hospital to community settings. Ratings on the Challenging Behaviour Scales showed that aggression to residentsExpand
  • 5
  • 1
Small New Zealand Primary Schools: Current Policy, Its Impact and Some Alternatives
This article examines current educational policy in New Zealand relating to small schools, considers the impact of this policy, and reflects on whether more positive alternatives might be found. SomeExpand
  • 1
  • 1
The PROSPER toolkit
TLDR
The PROSPER (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more flexible format so that they can be treated as components. Expand
  • 28
  • PDF
A Theory of Finite Maps
TLDR
Finite maps, functions defined on only a finite domain, occur often, particularly when reasoning about programming languages. Expand
  • 17
A model for implementing Healthy People 2000 objectives in African-American communities in California.
Using Healthy People 2000 as the source document, regional task forces were formed at the request of the Health Promotion Section of the California Department of Health Services to set healthExpand
  • 2
A Proof Tool for Reasoning About Functional Programs
TLDR
This paper describes a system to support reasoning about lazy functional programs. Expand
  • 14
Ab initio calculations on the silicate ion, orthosilicic acid and their L2,3 X-ray spectra
Ab initio calculations using small basis sets have been carried out for the silicate ion and orthosilicic acid. The results indicate that there is considerable d-orbital involvement in theExpand
  • 62