Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898086205> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2898086205 endingPage "307" @default.
- W2898086205 startingPage "288" @default.
- W2898086205 abstract "In 2001 Lee, Jones and Ben-Amram introduced the notion of size-change termination (SCT) for first order functional programs, a sufficient condition for termination. They proved that a program is size-change terminating if and only if it has a certain property which can be statically verified from the recursive definition of the program. Their proof of the size-change termination theorem used Ramsey's Theorem for pairs, which is a purely classical result. In 2012 Vytiniotis, Coquand and Wahlsteldt intuitionistically proved a classical variant of the size-change termination theorem by using the Almost-Full Theorem instead of Ramsey's Theorem for pairs. In this paper we provide an intuitionistic proof of another classical variant of the SCT theorem: our goal is to provide a statement and a proof very similar to the original ones. This can be done by using the H-closure Theorem, which differs from Ramsey's Theorem for pairs only by a contrapositive step. As a side result we obtain another proof of the characterization of the functions computed by a tail-recursive SCT program, by relating the SCT Theorem with the Termination Theorem by Podelski and Rybalchenko. Finally, by investigating the relationship between them, we provide a property in the language of size-change termination which is equivalent to Podelski and Rybalchenko's termination." @default.
- W2898086205 created "2018-11-02" @default.
- W2898086205 creator A5088949609 @default.
- W2898086205 date "2014-01-01" @default.
- W2898086205 modified "2023-09-23" @default.
- W2898086205 title "An Intuitionistic Analysis of Size-change Termination." @default.
- W2898086205 hasPublicationYear "2014" @default.
- W2898086205 type Work @default.
- W2898086205 sameAs 2898086205 @default.
- W2898086205 citedByCount "2" @default.
- W2898086205 countsByYear W28980862052016 @default.
- W2898086205 countsByYear W28980862052017 @default.
- W2898086205 crossrefType "journal-article" @default.
- W2898086205 hasAuthorship W2898086205A5088949609 @default.
- W2898086205 hasConcept C111472728 @default.
- W2898086205 hasConcept C112291201 @default.
- W2898086205 hasConcept C11413529 @default.
- W2898086205 hasConcept C118615104 @default.
- W2898086205 hasConcept C138885662 @default.
- W2898086205 hasConcept C146834321 @default.
- W2898086205 hasConcept C162324750 @default.
- W2898086205 hasConcept C189950617 @default.
- W2898086205 hasConcept C199343813 @default.
- W2898086205 hasConcept C206880738 @default.
- W2898086205 hasConcept C2777686260 @default.
- W2898086205 hasConcept C33923547 @default.
- W2898086205 hasConcept C34447519 @default.
- W2898086205 hasConcept C71924100 @default.
- W2898086205 hasConceptScore W2898086205C111472728 @default.
- W2898086205 hasConceptScore W2898086205C112291201 @default.
- W2898086205 hasConceptScore W2898086205C11413529 @default.
- W2898086205 hasConceptScore W2898086205C118615104 @default.
- W2898086205 hasConceptScore W2898086205C138885662 @default.
- W2898086205 hasConceptScore W2898086205C146834321 @default.
- W2898086205 hasConceptScore W2898086205C162324750 @default.
- W2898086205 hasConceptScore W2898086205C189950617 @default.
- W2898086205 hasConceptScore W2898086205C199343813 @default.
- W2898086205 hasConceptScore W2898086205C206880738 @default.
- W2898086205 hasConceptScore W2898086205C2777686260 @default.
- W2898086205 hasConceptScore W2898086205C33923547 @default.
- W2898086205 hasConceptScore W2898086205C34447519 @default.
- W2898086205 hasConceptScore W2898086205C71924100 @default.
- W2898086205 hasLocation W28980862051 @default.
- W2898086205 hasOpenAccess W2898086205 @default.
- W2898086205 hasPrimaryLocation W28980862051 @default.
- W2898086205 hasRelatedWork W1496894182 @default.
- W2898086205 hasRelatedWork W1498428138 @default.
- W2898086205 hasRelatedWork W1513495447 @default.
- W2898086205 hasRelatedWork W1649430738 @default.
- W2898086205 hasRelatedWork W1946227193 @default.
- W2898086205 hasRelatedWork W1966647497 @default.
- W2898086205 hasRelatedWork W1976222700 @default.
- W2898086205 hasRelatedWork W1988083342 @default.
- W2898086205 hasRelatedWork W1993434661 @default.
- W2898086205 hasRelatedWork W2029438897 @default.
- W2898086205 hasRelatedWork W2069207426 @default.
- W2898086205 hasRelatedWork W2099426626 @default.
- W2898086205 hasRelatedWork W2162634125 @default.
- W2898086205 hasRelatedWork W2269631276 @default.
- W2898086205 hasRelatedWork W2305596766 @default.
- W2898086205 hasRelatedWork W2585922487 @default.
- W2898086205 hasRelatedWork W2744665143 @default.
- W2898086205 hasRelatedWork W2951927819 @default.
- W2898086205 hasRelatedWork W2953371429 @default.
- W2898086205 hasRelatedWork W2967076817 @default.
- W2898086205 isParatext "false" @default.
- W2898086205 isRetracted "false" @default.
- W2898086205 magId "2898086205" @default.
- W2898086205 workType "article" @default.