A mathematical approach to language design

  • Authors:
  • George T. Ligler

  • Affiliations:
  • Oxford University

  • Venue:
  • POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
  • Year:
  • 1975

Quantified Score

Hi-index 0.02

Visualization

Abstract

A framework for validating surface properties of programming language constructs, composed of proof rules (akin to those of Hoare) and supporting hypotheses, is constructed using the mathematical semantics of Scott and Strachey. The following approach to language design is then considered: the constructs of a language should have surface properties which 1) need few hypotheses other than assumed surface properties; and 2) have proofs consisting, as far as possible, of trivial fixpoint and structural inductions.