Lucid, a Nonprocedural Language with Iteration.
Saved in:
| 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 |
Be the first to leave a comment!
