Pattern Matching in ML: A Case Study in Refinement

Abstract

This report is a case study in data refinement, that is the process of taking a formal specification written in terms of abstracts values and converting it into a concrete form suitable for implementation. The case study takes a non-trivial process and proof obligations incurred concluding with an implementation in Algol 68. The report concludes with a discussion of the strengths and weaknesses of the formal development process.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1989
Accession Number
ADA210838

Entities

People

  • C. T. Sennett
  • G. P. Randell
  • Robyn L. Macdonald

Organizations

  • Royal Signals and Radar Establishment

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Case Studies
  • Compilers
  • Computer Programming
  • Concrete
  • Construction
  • Intellectual Property
  • Language
  • Lists (Data Structures)
  • Notation
  • Production Engineering
  • Programming Languages
  • Sequences
  • Specifications
  • Standards
  • Test And Evaluation

Readers

  • Computational Linguistics
  • Systems Analysis and Design