Matches in SemOpenAlex for { <https://semopenalex.org/work/W1507212935> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1507212935 abstract "This article is an introduction to the use of relational calculi in deriving programs. Using the relational caluclus Ruby, we derive a functional program that adds one bit to a binary number to give a new binary number. The resulting program is unsurprising, being the standard $quot;column of half-adders$quot;, but the derivation illustrates a number of points about working with relations rather than with functions." @default.
- W1507212935 created "2016-06-24" @default.
- W1507212935 creator A5069634739 @default.
- W1507212935 date "1992-01-01" @default.
- W1507212935 modified "2023-09-27" @default.
- W1507212935 title "A Relational Derivation of a Functional Program" @default.
- W1507212935 cites W1481153542 @default.
- W1507212935 cites W1511110335 @default.
- W1507212935 cites W1513457456 @default.
- W1507212935 cites W1547742470 @default.
- W1507212935 cites W1548981521 @default.
- W1507212935 cites W1559314111 @default.
- W1507212935 cites W1587863652 @default.
- W1507212935 cites W1840501309 @default.
- W1507212935 cites W2006006495 @default.
- W1507212935 cites W2011641889 @default.
- W1507212935 cites W2125014275 @default.
- W1507212935 cites W2151814155 @default.
- W1507212935 cites W2161244913 @default.
- W1507212935 cites W2266491325 @default.
- W1507212935 cites W2990606990 @default.
- W1507212935 hasPublicationYear "1992" @default.
- W1507212935 type Work @default.
- W1507212935 sameAs 1507212935 @default.
- W1507212935 citedByCount "3" @default.
- W1507212935 crossrefType "journal-article" @default.
- W1507212935 hasAuthorship W1507212935A5069634739 @default.
- W1507212935 hasConcept C118615104 @default.
- W1507212935 hasConcept C126042441 @default.
- W1507212935 hasConcept C136119220 @default.
- W1507212935 hasConcept C202444582 @default.
- W1507212935 hasConcept C23123220 @default.
- W1507212935 hasConcept C2780551164 @default.
- W1507212935 hasConcept C33923547 @default.
- W1507212935 hasConcept C41008148 @default.
- W1507212935 hasConcept C48372109 @default.
- W1507212935 hasConcept C5655090 @default.
- W1507212935 hasConcept C65180967 @default.
- W1507212935 hasConcept C76155785 @default.
- W1507212935 hasConcept C80444323 @default.
- W1507212935 hasConcept C94375191 @default.
- W1507212935 hasConceptScore W1507212935C118615104 @default.
- W1507212935 hasConceptScore W1507212935C126042441 @default.
- W1507212935 hasConceptScore W1507212935C136119220 @default.
- W1507212935 hasConceptScore W1507212935C202444582 @default.
- W1507212935 hasConceptScore W1507212935C23123220 @default.
- W1507212935 hasConceptScore W1507212935C2780551164 @default.
- W1507212935 hasConceptScore W1507212935C33923547 @default.
- W1507212935 hasConceptScore W1507212935C41008148 @default.
- W1507212935 hasConceptScore W1507212935C48372109 @default.
- W1507212935 hasConceptScore W1507212935C5655090 @default.
- W1507212935 hasConceptScore W1507212935C65180967 @default.
- W1507212935 hasConceptScore W1507212935C76155785 @default.
- W1507212935 hasConceptScore W1507212935C80444323 @default.
- W1507212935 hasConceptScore W1507212935C94375191 @default.
- W1507212935 hasLocation W15072129351 @default.
- W1507212935 hasOpenAccess W1507212935 @default.
- W1507212935 hasPrimaryLocation W15072129351 @default.
- W1507212935 hasRelatedWork W1480055461 @default.
- W1507212935 hasRelatedWork W1502680278 @default.
- W1507212935 hasRelatedWork W1518458436 @default.
- W1507212935 hasRelatedWork W1521623677 @default.
- W1507212935 hasRelatedWork W1526727862 @default.
- W1507212935 hasRelatedWork W1669975365 @default.
- W1507212935 hasRelatedWork W2007142183 @default.
- W1507212935 hasRelatedWork W2144048190 @default.
- W1507212935 hasRelatedWork W2161714767 @default.
- W1507212935 hasRelatedWork W2188929625 @default.
- W1507212935 hasRelatedWork W2577629414 @default.
- W1507212935 hasRelatedWork W2744013615 @default.
- W1507212935 hasRelatedWork W2763272531 @default.
- W1507212935 hasRelatedWork W2888471488 @default.
- W1507212935 hasRelatedWork W2911311810 @default.
- W1507212935 hasRelatedWork W2951438880 @default.
- W1507212935 hasRelatedWork W3103989664 @default.
- W1507212935 hasRelatedWork W3186269239 @default.
- W1507212935 hasRelatedWork W78927986 @default.
- W1507212935 hasRelatedWork W87715069 @default.
- W1507212935 isParatext "false" @default.
- W1507212935 isRetracted "false" @default.
- W1507212935 magId "1507212935" @default.
- W1507212935 workType "article" @default.