The Library
Lucid, a nonprocedural language with iteration
Tools
Tools
Tools
Ashcroft, Edward A. and Wadge, William W. (1976) Lucid, a nonprocedural language with iteration. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
|
Text
WRAP_Ashcroft_cs-rr-011.pdf - Published Version Download (1464Kb) | Preview |
Abstract
Lucid is a formal system 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.
| Item Type: | Report |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software |
| Divisions: | Faculty of Science > Computer Science |
| Library of Congress Subject Headings (LCSH): | Lucid (Computer program language) |
| Series Name: | Theory of Computation Report |
| Publisher: | University of Warwick. Department of Computer Science |
| Date: | April 1976 |
| Number: | Number 11 |
| Number of Pages: | 26 |
| Identification Number: | CS-RR-011 |
| Institution: | University of Warwick |
| Theses Department: | Department of Computer Science |
| Status: | Not Peer Reviewed |
| Publication Status: | Unpublished |
| Access rights to Published version: | Open Access |
| Funder: | National Research Council Canada (NRCC), Science Research Council (Great Britain) (SRC) |
| Version or Related Resource: | Ashcroft, E.A. and Wadge, W.W. (1977). Lucid, a nonprocedural language with iteration. Communications of the ACM, 20, pp. 519-526. |
| URI: | http://wrap.warwick.ac.uk/id/eprint/46307 |
Actions (login required)
 |
View Item |
