Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007207718> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2007207718 abstract "An approach to the mechanization of the certification of programs is the development of a canonical form for computer programs. Two programs would be declared equivalent, that is, for all inputs they produce identical outputs, if and only if they have the same canonical form. The nature of such a canonical form for computer programs is discussed. For a certain non-trivial class of programs, a methodology for producing the canonical form from the original program is developed, and the present limitations of this approach are explored. Finally, the methodology is applied to two different sort algorithms, demonstrating that these algorithms are equivalent since they possess the same canonical form." @default.
- W2007207718 created "2016-06-24" @default.
- W2007207718 creator A5071525880 @default.
- W2007207718 date "1975-01-01" @default.
- W2007207718 modified "2023-10-17" @default.
- W2007207718 title "Towards a canonical form for computer programs" @default.
- W2007207718 cites W1538749748 @default.
- W2007207718 cites W1544807110 @default.
- W2007207718 cites W1572470107 @default.
- W2007207718 cites W1978367838 @default.
- W2007207718 cites W1998708330 @default.
- W2007207718 cites W2007419773 @default.
- W2007207718 cites W2012188345 @default.
- W2007207718 cites W2024586524 @default.
- W2007207718 cites W2051283794 @default.
- W2007207718 cites W2134112335 @default.
- W2007207718 cites W2134992721 @default.
- W2007207718 cites W2296763464 @default.
- W2007207718 cites W2913552036 @default.
- W2007207718 doi "https://doi.org/10.1145/800181.810329" @default.
- W2007207718 hasPublicationYear "1975" @default.
- W2007207718 type Work @default.
- W2007207718 sameAs 2007207718 @default.
- W2007207718 citedByCount "1" @default.
- W2007207718 crossrefType "proceedings-article" @default.
- W2007207718 hasAuthorship W2007207718A5071525880 @default.
- W2007207718 hasConcept C11413529 @default.
- W2007207718 hasConcept C119857082 @default.
- W2007207718 hasConcept C121332964 @default.
- W2007207718 hasConcept C136119220 @default.
- W2007207718 hasConcept C151342819 @default.
- W2007207718 hasConcept C17744445 @default.
- W2007207718 hasConcept C199360897 @default.
- W2007207718 hasConcept C199539241 @default.
- W2007207718 hasConcept C202444582 @default.
- W2007207718 hasConcept C204707403 @default.
- W2007207718 hasConcept C2777362769 @default.
- W2007207718 hasConcept C3018844941 @default.
- W2007207718 hasConcept C3379466 @default.
- W2007207718 hasConcept C33923547 @default.
- W2007207718 hasConcept C41008148 @default.
- W2007207718 hasConcept C46304622 @default.
- W2007207718 hasConcept C75806538 @default.
- W2007207718 hasConcept C80444323 @default.
- W2007207718 hasConcept C86803240 @default.
- W2007207718 hasConcept C88548561 @default.
- W2007207718 hasConcept C94375191 @default.
- W2007207718 hasConcept C95444343 @default.
- W2007207718 hasConcept C97355855 @default.
- W2007207718 hasConceptScore W2007207718C11413529 @default.
- W2007207718 hasConceptScore W2007207718C119857082 @default.
- W2007207718 hasConceptScore W2007207718C121332964 @default.
- W2007207718 hasConceptScore W2007207718C136119220 @default.
- W2007207718 hasConceptScore W2007207718C151342819 @default.
- W2007207718 hasConceptScore W2007207718C17744445 @default.
- W2007207718 hasConceptScore W2007207718C199360897 @default.
- W2007207718 hasConceptScore W2007207718C199539241 @default.
- W2007207718 hasConceptScore W2007207718C202444582 @default.
- W2007207718 hasConceptScore W2007207718C204707403 @default.
- W2007207718 hasConceptScore W2007207718C2777362769 @default.
- W2007207718 hasConceptScore W2007207718C3018844941 @default.
- W2007207718 hasConceptScore W2007207718C3379466 @default.
- W2007207718 hasConceptScore W2007207718C33923547 @default.
- W2007207718 hasConceptScore W2007207718C41008148 @default.
- W2007207718 hasConceptScore W2007207718C46304622 @default.
- W2007207718 hasConceptScore W2007207718C75806538 @default.
- W2007207718 hasConceptScore W2007207718C80444323 @default.
- W2007207718 hasConceptScore W2007207718C86803240 @default.
- W2007207718 hasConceptScore W2007207718C88548561 @default.
- W2007207718 hasConceptScore W2007207718C94375191 @default.
- W2007207718 hasConceptScore W2007207718C95444343 @default.
- W2007207718 hasConceptScore W2007207718C97355855 @default.
- W2007207718 hasLocation W20072077181 @default.
- W2007207718 hasOpenAccess W2007207718 @default.
- W2007207718 hasPrimaryLocation W20072077181 @default.
- W2007207718 hasRelatedWork W107347835 @default.
- W2007207718 hasRelatedWork W1513263504 @default.
- W2007207718 hasRelatedWork W1748452786 @default.
- W2007207718 hasRelatedWork W1968185772 @default.
- W2007207718 hasRelatedWork W1973678011 @default.
- W2007207718 hasRelatedWork W1975851647 @default.
- W2007207718 hasRelatedWork W1982335633 @default.
- W2007207718 hasRelatedWork W2006508316 @default.
- W2007207718 hasRelatedWork W201814071 @default.
- W2007207718 hasRelatedWork W2067693540 @default.
- W2007207718 hasRelatedWork W2103424315 @default.
- W2007207718 hasRelatedWork W2468176409 @default.
- W2007207718 hasRelatedWork W2522304419 @default.
- W2007207718 hasRelatedWork W2745813193 @default.
- W2007207718 hasRelatedWork W2953143047 @default.
- W2007207718 hasRelatedWork W2964023786 @default.
- W2007207718 hasRelatedWork W3022646724 @default.
- W2007207718 hasRelatedWork W30806071 @default.
- W2007207718 hasRelatedWork W3186751383 @default.
- W2007207718 hasRelatedWork W3214360111 @default.
- W2007207718 isParatext "false" @default.
- W2007207718 isRetracted "false" @default.
- W2007207718 magId "2007207718" @default.
- W2007207718 workType "article" @default.