Access Restriction

Author Ashcroft, E. A. ♦ Wadge, W. W.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Structured programming ♦ Program proving ♦ Semantics ♦ Formal systems ♦ Iteration
Abstract Lucid is a formal system in which programs can be written and proofs of programs carried out. The proofs are particularly easy to follow and straightforward to produce because the statements in a Lucid program are simply axioms from which the proof proceeds by (almost) conventional logical reasoning, with the help of a few axioms and rules of inference for the special Lucid functions. As a programming language, Lucid is unconventional because, among other things, the order of statements is irrelevant and assignment statements are equations. Nevertheless, Lucid programs need not look much different than iterative programs in a conventional structured programming language using assignment and conditional statements and loops.
Description Affiliation: Univ. of Warwick, Warwickshire, England (Wadge, W. W.) || Univ. of Waterloo, Waterloo, Ont., Canada (Ashcroft, E. A.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 20
Issue Number 7
Page Count 8
Starting Page 519
Ending Page 526

Open content in new tab

   Open content in new tab
Source: ACM Digital Library