Matches in SemOpenAlex for { <https://semopenalex.org/work/W1593966805> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1593966805 endingPage "364" @default.
- W1593966805 startingPage "338" @default.
- W1593966805 abstract "Two realizability interpretations of monotone coinductive definitions are studied. One interpretation is defined so that a realizer of a coinductively defined predicate is the same as that of its expansion. For this interpretation, the paper proves that full monotone coinductive definitions are not sound and restricted monotone coinductive definitions are sound. The other interpreration is based on second order logic and can interpret least-upper-bound coinductive definitions, which is generalization of monotone coinductive definitions. By using these interprerations, the paper shows that a program which treats coinductively defined infinite data structures such as streams can be synthesized from a constructive proof of its specification." @default.
- W1593966805 created "2016-06-24" @default.
- W1593966805 creator A5024163301 @default.
- W1593966805 date "1998-01-01" @default.
- W1593966805 modified "2023-10-14" @default.
- W1593966805 title "Realizability of monotone coinductive definitions and its application to program synthesis" @default.
- W1593966805 cites W126568045 @default.
- W1593966805 cites W1491165055 @default.
- W1593966805 cites W1566855903 @default.
- W1593966805 cites W1970175027 @default.
- W1593966805 cites W2002293839 @default.
- W1593966805 cites W2003295197 @default.
- W1593966805 cites W2012140088 @default.
- W1593966805 cites W2037883337 @default.
- W1593966805 cites W2051829567 @default.
- W1593966805 cites W2053068669 @default.
- W1593966805 cites W2054667551 @default.
- W1593966805 cites W2086054252 @default.
- W1593966805 cites W2121874004 @default.
- W1593966805 doi "https://doi.org/10.1007/bfb0054298" @default.
- W1593966805 hasPublicationYear "1998" @default.
- W1593966805 type Work @default.
- W1593966805 sameAs 1593966805 @default.
- W1593966805 citedByCount "13" @default.
- W1593966805 countsByYear W15939668052013 @default.
- W1593966805 countsByYear W15939668052014 @default.
- W1593966805 countsByYear W15939668052016 @default.
- W1593966805 countsByYear W15939668052018 @default.
- W1593966805 countsByYear W15939668052020 @default.
- W1593966805 crossrefType "book-chapter" @default.
- W1593966805 hasAuthorship W1593966805A5024163301 @default.
- W1593966805 hasConcept C108710211 @default.
- W1593966805 hasConcept C118615104 @default.
- W1593966805 hasConcept C136119220 @default.
- W1593966805 hasConcept C199343813 @default.
- W1593966805 hasConcept C199360897 @default.
- W1593966805 hasConcept C202444582 @default.
- W1593966805 hasConcept C2524010 @default.
- W1593966805 hasConcept C2776378722 @default.
- W1593966805 hasConcept C2777686260 @default.
- W1593966805 hasConcept C2778701210 @default.
- W1593966805 hasConcept C2834757 @default.
- W1593966805 hasConcept C33923547 @default.
- W1593966805 hasConcept C40220748 @default.
- W1593966805 hasConcept C41008148 @default.
- W1593966805 hasConcept C527412718 @default.
- W1593966805 hasConcept C71924100 @default.
- W1593966805 hasConcept C98045186 @default.
- W1593966805 hasConceptScore W1593966805C108710211 @default.
- W1593966805 hasConceptScore W1593966805C118615104 @default.
- W1593966805 hasConceptScore W1593966805C136119220 @default.
- W1593966805 hasConceptScore W1593966805C199343813 @default.
- W1593966805 hasConceptScore W1593966805C199360897 @default.
- W1593966805 hasConceptScore W1593966805C202444582 @default.
- W1593966805 hasConceptScore W1593966805C2524010 @default.
- W1593966805 hasConceptScore W1593966805C2776378722 @default.
- W1593966805 hasConceptScore W1593966805C2777686260 @default.
- W1593966805 hasConceptScore W1593966805C2778701210 @default.
- W1593966805 hasConceptScore W1593966805C2834757 @default.
- W1593966805 hasConceptScore W1593966805C33923547 @default.
- W1593966805 hasConceptScore W1593966805C40220748 @default.
- W1593966805 hasConceptScore W1593966805C41008148 @default.
- W1593966805 hasConceptScore W1593966805C527412718 @default.
- W1593966805 hasConceptScore W1593966805C71924100 @default.
- W1593966805 hasConceptScore W1593966805C98045186 @default.
- W1593966805 hasLocation W15939668051 @default.
- W1593966805 hasOpenAccess W1593966805 @default.
- W1593966805 hasPrimaryLocation W15939668051 @default.
- W1593966805 hasRelatedWork W1489272542 @default.
- W1593966805 hasRelatedWork W1593966805 @default.
- W1593966805 hasRelatedWork W1820208327 @default.
- W1593966805 hasRelatedWork W2030292569 @default.
- W1593966805 hasRelatedWork W2054667551 @default.
- W1593966805 hasRelatedWork W2097937928 @default.
- W1593966805 hasRelatedWork W2331971360 @default.
- W1593966805 hasRelatedWork W2963673987 @default.
- W1593966805 hasRelatedWork W2963958414 @default.
- W1593966805 hasRelatedWork W350371354 @default.
- W1593966805 isParatext "false" @default.
- W1593966805 isRetracted "false" @default.
- W1593966805 magId "1593966805" @default.
- W1593966805 workType "book-chapter" @default.