Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288623758> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- W4288623758 abstract "This paper shows how to use Lee, Jones and Ben Amram's size-change principle to check correctness of arbitrary recursive definitions in an ML / Haskell like programming language with inductive and coinductive types. The size-change principle is used to check both termination and productivity, and the resulting principle is sound even if inductive and coinductive types are arbitrarily nested. A prototype has been implemented and gives a practical argument in favor of this principle. This work relies on a characterization of least and greatest fixed points as sets of winning strategies for parity games that was developed by L. Santocanale in his early work on circular proofs. The proof of correctness of the criterion relies on an extension of the language's denotational semantics to a domain of untyped values with non-deterministic sums." @default.
- W4288623758 created "2022-07-30" @default.
- W4288623758 creator A5081262354 @default.
- W4288623758 date "2019-01-22" @default.
- W4288623758 modified "2023-09-24" @default.
- W4288623758 title "The Size-Change Principle for Mixed Inductive and Coinductive types" @default.
- W4288623758 hasPublicationYear "2019" @default.
- W4288623758 type Work @default.
- W4288623758 citedByCount "0" @default.
- W4288623758 crossrefType "posted-content" @default.
- W4288623758 hasAuthorship W4288623758A5081262354 @default.
- W4288623758 hasBestOaLocation W42886237582 @default.
- W4288623758 hasConcept C108710211 @default.
- W4288623758 hasConcept C2524010 @default.
- W4288623758 hasConcept C33923547 @default.
- W4288623758 hasConcept C40220748 @default.
- W4288623758 hasConceptScore W4288623758C108710211 @default.
- W4288623758 hasConceptScore W4288623758C2524010 @default.
- W4288623758 hasConceptScore W4288623758C33923547 @default.
- W4288623758 hasConceptScore W4288623758C40220748 @default.
- W4288623758 hasLocation W42886237581 @default.
- W4288623758 hasLocation W42886237582 @default.
- W4288623758 hasLocation W42886237583 @default.
- W4288623758 hasLocation W42886237584 @default.
- W4288623758 hasOpenAccess W4288623758 @default.
- W4288623758 hasPrimaryLocation W42886237581 @default.
- W4288623758 hasRelatedWork W1523149969 @default.
- W4288623758 hasRelatedWork W1680684178 @default.
- W4288623758 hasRelatedWork W1791872853 @default.
- W4288623758 hasRelatedWork W2158409018 @default.
- W4288623758 hasRelatedWork W2408502009 @default.
- W4288623758 hasRelatedWork W2908075982 @default.
- W4288623758 hasRelatedWork W3023599973 @default.
- W4288623758 hasRelatedWork W3101797533 @default.
- W4288623758 hasRelatedWork W4246799966 @default.
- W4288623758 hasRelatedWork W2142926729 @default.
- W4288623758 isParatext "false" @default.
- W4288623758 isRetracted "false" @default.
- W4288623758 workType "article" @default.