Bibliographic Details
| Title: |
Lucid, a Nonprocedural Language with Iteration. |
| Authors: |
Ashcroft, E.A., Wadge, W.W. |
| Source: |
Communications of the ACM. Jul1977, Vol. 20 Issue 7, p519-526. 8p. |
| Subjects: |
Lucid (Computer program language), Mathematical notation |
| Abstract: |
Discusses the lucid program as part of the programming languages applicable for mathematical notations. Verification of the programs using axioms and rules of inference of its functions; Unification of programming languages with the lucid programs; Details of the syntax and semantics of the program. |
| Database: |
Engineering Source |
