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 |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 5225305 AccessLevel: 6 PubType: Periodical PubTypeId: serialPeriodical PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Lucid, a Nonprocedural Language with Iteration. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Ashcroft%2C+E%2EA%2E%22">Ashcroft, E.A.</searchLink><br /><searchLink fieldCode="AR" term="%22Wadge%2C+W%2EW%2E%22">Wadge, W.W.</searchLink> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Communications+of+the+ACM%22">Communications of the ACM</searchLink>. Jul1977, Vol. 20 Issue 7, p519-526. 8p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Lucid+%28Computer+program+language%29%22">Lucid (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+notation%22">Mathematical notation</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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. |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=5225305 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1145/359636.359715 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 8 StartPage: 519 Subjects: – SubjectFull: Lucid (Computer program language) Type: general – SubjectFull: Mathematical notation Type: general Titles: – TitleFull: Lucid, a Nonprocedural Language with Iteration. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Ashcroft, E.A. – PersonEntity: Name: NameFull: Wadge, W.W. IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 07 Text: Jul1977 Type: published Y: 1977 Identifiers: – Type: issn-print Value: 00010782 Numbering: – Type: volume Value: 20 – Type: issue Value: 7 Titles: – TitleFull: Communications of the ACM Type: main |
| ResultId | 1 |