Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022667180> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2022667180 endingPage "526" @default.
- W2022667180 startingPage "519" @default.
- W2022667180 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." @default.
- W2022667180 created "2016-06-24" @default.
- W2022667180 creator A5057045114 @default.
- W2022667180 creator A5089372145 @default.
- W2022667180 date "1977-07-01" @default.
- W2022667180 modified "2023-09-27" @default.
- W2022667180 title "Lucid, a nonprocedural language with iteration" @default.
- W2022667180 cites W2987907651 @default.
- W2022667180 doi "https://doi.org/10.1145/359636.359715" @default.
- W2022667180 hasPublicationYear "1977" @default.
- W2022667180 type Work @default.
- W2022667180 sameAs 2022667180 @default.
- W2022667180 citedByCount "230" @default.
- W2022667180 countsByYear W20226671802012 @default.
- W2022667180 countsByYear W20226671802013 @default.
- W2022667180 countsByYear W20226671802014 @default.
- W2022667180 countsByYear W20226671802015 @default.
- W2022667180 countsByYear W20226671802016 @default.
- W2022667180 countsByYear W20226671802017 @default.
- W2022667180 countsByYear W20226671802018 @default.
- W2022667180 countsByYear W20226671802019 @default.
- W2022667180 countsByYear W20226671802020 @default.
- W2022667180 countsByYear W20226671802021 @default.
- W2022667180 countsByYear W20226671802022 @default.
- W2022667180 crossrefType "journal-article" @default.
- W2022667180 hasAuthorship W2022667180A5057045114 @default.
- W2022667180 hasAuthorship W2022667180A5089372145 @default.
- W2022667180 hasBestOaLocation W20226671801 @default.
- W2022667180 hasConcept C108710211 @default.
- W2022667180 hasConcept C139058780 @default.
- W2022667180 hasConcept C154945302 @default.
- W2022667180 hasConcept C167729594 @default.
- W2022667180 hasConcept C199360897 @default.
- W2022667180 hasConcept C2524010 @default.
- W2022667180 hasConcept C2776214188 @default.
- W2022667180 hasConcept C2776618520 @default.
- W2022667180 hasConcept C2992468417 @default.
- W2022667180 hasConcept C33923547 @default.
- W2022667180 hasConcept C41008148 @default.
- W2022667180 hasConcept C556039675 @default.
- W2022667180 hasConcept C71924100 @default.
- W2022667180 hasConcept C80444323 @default.
- W2022667180 hasConceptScore W2022667180C108710211 @default.
- W2022667180 hasConceptScore W2022667180C139058780 @default.
- W2022667180 hasConceptScore W2022667180C154945302 @default.
- W2022667180 hasConceptScore W2022667180C167729594 @default.
- W2022667180 hasConceptScore W2022667180C199360897 @default.
- W2022667180 hasConceptScore W2022667180C2524010 @default.
- W2022667180 hasConceptScore W2022667180C2776214188 @default.
- W2022667180 hasConceptScore W2022667180C2776618520 @default.
- W2022667180 hasConceptScore W2022667180C2992468417 @default.
- W2022667180 hasConceptScore W2022667180C33923547 @default.
- W2022667180 hasConceptScore W2022667180C41008148 @default.
- W2022667180 hasConceptScore W2022667180C556039675 @default.
- W2022667180 hasConceptScore W2022667180C71924100 @default.
- W2022667180 hasConceptScore W2022667180C80444323 @default.
- W2022667180 hasIssue "7" @default.
- W2022667180 hasLocation W20226671801 @default.
- W2022667180 hasLocation W20226671802 @default.
- W2022667180 hasOpenAccess W2022667180 @default.
- W2022667180 hasPrimaryLocation W20226671801 @default.
- W2022667180 hasRelatedWork W2019604532 @default.
- W2022667180 hasRelatedWork W2022667180 @default.
- W2022667180 hasRelatedWork W2086390954 @default.
- W2022667180 hasRelatedWork W2145560110 @default.
- W2022667180 hasRelatedWork W2152878344 @default.
- W2022667180 hasRelatedWork W2269729327 @default.
- W2022667180 hasRelatedWork W2964322707 @default.
- W2022667180 hasRelatedWork W4243252198 @default.
- W2022667180 hasRelatedWork W1601745317 @default.
- W2022667180 hasRelatedWork W2594516570 @default.
- W2022667180 hasVolume "20" @default.
- W2022667180 isParatext "false" @default.
- W2022667180 isRetracted "false" @default.
- W2022667180 magId "2022667180" @default.
- W2022667180 workType "article" @default.