Matches in SemOpenAlex for { <https://semopenalex.org/work/W36814619> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W36814619 endingPage "239" @default.
- W36814619 startingPage "232" @default.
- W36814619 abstract "A set of rules (or facts) about program synthesis is presented. The rules are about the process of programming, and are sutficient for the synthesis of an insertion sort program. The use of the rules to write a short LISP program is described. Taken together, the rules are an embodiment of a detailed theory which explains one small part of the programming process. The size of the set of rules suggests the complexity of the process of writing programs and indicates that much work will be required to codify significant amounts of programming knowledge as a step toward the development of program-understanding systems." @default.
- W36814619 created "2016-06-24" @default.
- W36814619 creator A5013633563 @default.
- W36814619 creator A5046295293 @default.
- W36814619 date "1975-09-03" @default.
- W36814619 modified "2023-09-25" @default.
- W36814619 title "Some rules for the automatic synthesis of programs" @default.
- W36814619 hasPublicationYear "1975" @default.
- W36814619 type Work @default.
- W36814619 sameAs 36814619 @default.
- W36814619 citedByCount "11" @default.
- W36814619 crossrefType "proceedings-article" @default.
- W36814619 hasAuthorship W36814619A5013633563 @default.
- W36814619 hasAuthorship W36814619A5046295293 @default.
- W36814619 hasConcept C115903868 @default.
- W36814619 hasConcept C177264268 @default.
- W36814619 hasConcept C190883126 @default.
- W36814619 hasConcept C199360897 @default.
- W36814619 hasConcept C2776937632 @default.
- W36814619 hasConcept C2777394884 @default.
- W36814619 hasConcept C34165917 @default.
- W36814619 hasConcept C41008148 @default.
- W36814619 hasConcept C50033165 @default.
- W36814619 hasConcept C77088390 @default.
- W36814619 hasConcept C88548561 @default.
- W36814619 hasConcept C98045186 @default.
- W36814619 hasConceptScore W36814619C115903868 @default.
- W36814619 hasConceptScore W36814619C177264268 @default.
- W36814619 hasConceptScore W36814619C190883126 @default.
- W36814619 hasConceptScore W36814619C199360897 @default.
- W36814619 hasConceptScore W36814619C2776937632 @default.
- W36814619 hasConceptScore W36814619C2777394884 @default.
- W36814619 hasConceptScore W36814619C34165917 @default.
- W36814619 hasConceptScore W36814619C41008148 @default.
- W36814619 hasConceptScore W36814619C50033165 @default.
- W36814619 hasConceptScore W36814619C77088390 @default.
- W36814619 hasConceptScore W36814619C88548561 @default.
- W36814619 hasConceptScore W36814619C98045186 @default.
- W36814619 hasLocation W368146191 @default.
- W36814619 hasOpenAccess W36814619 @default.
- W36814619 hasPrimaryLocation W368146191 @default.
- W36814619 hasRelatedWork W1554731703 @default.
- W36814619 hasRelatedWork W157739481 @default.
- W36814619 hasRelatedWork W1645761265 @default.
- W36814619 hasRelatedWork W1789276856 @default.
- W36814619 hasRelatedWork W1835072459 @default.
- W36814619 hasRelatedWork W1854626090 @default.
- W36814619 hasRelatedWork W1993524544 @default.
- W36814619 hasRelatedWork W2019528623 @default.
- W36814619 hasRelatedWork W2035733752 @default.
- W36814619 hasRelatedWork W2069746600 @default.
- W36814619 hasRelatedWork W2079181507 @default.
- W36814619 hasRelatedWork W2088129973 @default.
- W36814619 hasRelatedWork W2089745307 @default.
- W36814619 hasRelatedWork W2133016820 @default.
- W36814619 hasRelatedWork W2154101955 @default.
- W36814619 hasRelatedWork W229380750 @default.
- W36814619 hasRelatedWork W2468231206 @default.
- W36814619 hasRelatedWork W2624345673 @default.
- W36814619 hasRelatedWork W62138627 @default.
- W36814619 hasRelatedWork W2008629204 @default.
- W36814619 isParatext "false" @default.
- W36814619 isRetracted "false" @default.
- W36814619 magId "36814619" @default.
- W36814619 workType "article" @default.