Matches in SemOpenAlex for { <https://semopenalex.org/work/W177558105> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W177558105 abstract "We introduce a simple functional language foetus (lambda calculus with tuples, constructors and pattern matching) supplied with a termination checker. This checker tries to find a well-founded structural order on the parameters on the given function to prove termination. The components of the check algorithm are: function call extraction out of the program text, call graph completion and finding a lexical order for the function parameters. The HTML version of this paper contains many ready-to-run Web-based examples." @default.
- W177558105 created "2016-06-24" @default.
- W177558105 creator A5008534457 @default.
- W177558105 date "2002-01-01" @default.
- W177558105 modified "2023-09-27" @default.
- W177558105 title "foetus - Termination Checker for Simple Functional Programs" @default.
- W177558105 cites W1484366641 @default.
- W177558105 cites W1505191296 @default.
- W177558105 cites W1633340509 @default.
- W177558105 cites W1829457869 @default.
- W177558105 cites W1862378448 @default.
- W177558105 cites W2078334802 @default.
- W177558105 cites W2123640792 @default.
- W177558105 hasPublicationYear "2002" @default.
- W177558105 type Work @default.
- W177558105 sameAs 177558105 @default.
- W177558105 citedByCount "8" @default.
- W177558105 countsByYear W1775581052014 @default.
- W177558105 countsByYear W1775581052015 @default.
- W177558105 countsByYear W1775581052016 @default.
- W177558105 countsByYear W1775581052017 @default.
- W177558105 crossrefType "journal-article" @default.
- W177558105 hasAuthorship W177558105A5008534457 @default.
- W177558105 hasConcept C110251889 @default.
- W177558105 hasConcept C111472728 @default.
- W177558105 hasConcept C11413529 @default.
- W177558105 hasConcept C118615104 @default.
- W177558105 hasConcept C118930307 @default.
- W177558105 hasConcept C135790938 @default.
- W177558105 hasConcept C138885662 @default.
- W177558105 hasConcept C14036430 @default.
- W177558105 hasConcept C199343813 @default.
- W177558105 hasConcept C199360897 @default.
- W177558105 hasConcept C2777686260 @default.
- W177558105 hasConcept C2780586882 @default.
- W177558105 hasConcept C33923547 @default.
- W177558105 hasConcept C41008148 @default.
- W177558105 hasConcept C42383842 @default.
- W177558105 hasConcept C68859911 @default.
- W177558105 hasConcept C71924100 @default.
- W177558105 hasConcept C78458016 @default.
- W177558105 hasConcept C80444323 @default.
- W177558105 hasConcept C86803240 @default.
- W177558105 hasConceptScore W177558105C110251889 @default.
- W177558105 hasConceptScore W177558105C111472728 @default.
- W177558105 hasConceptScore W177558105C11413529 @default.
- W177558105 hasConceptScore W177558105C118615104 @default.
- W177558105 hasConceptScore W177558105C118930307 @default.
- W177558105 hasConceptScore W177558105C135790938 @default.
- W177558105 hasConceptScore W177558105C138885662 @default.
- W177558105 hasConceptScore W177558105C14036430 @default.
- W177558105 hasConceptScore W177558105C199343813 @default.
- W177558105 hasConceptScore W177558105C199360897 @default.
- W177558105 hasConceptScore W177558105C2777686260 @default.
- W177558105 hasConceptScore W177558105C2780586882 @default.
- W177558105 hasConceptScore W177558105C33923547 @default.
- W177558105 hasConceptScore W177558105C41008148 @default.
- W177558105 hasConceptScore W177558105C42383842 @default.
- W177558105 hasConceptScore W177558105C68859911 @default.
- W177558105 hasConceptScore W177558105C71924100 @default.
- W177558105 hasConceptScore W177558105C78458016 @default.
- W177558105 hasConceptScore W177558105C80444323 @default.
- W177558105 hasConceptScore W177558105C86803240 @default.
- W177558105 hasLocation W1775581051 @default.
- W177558105 hasOpenAccess W177558105 @default.
- W177558105 hasPrimaryLocation W1775581051 @default.
- W177558105 hasRelatedWork W144693796 @default.
- W177558105 hasRelatedWork W1557561422 @default.
- W177558105 hasRelatedWork W159715351 @default.
- W177558105 hasRelatedWork W1794854756 @default.
- W177558105 hasRelatedWork W1892209699 @default.
- W177558105 hasRelatedWork W1920416765 @default.
- W177558105 hasRelatedWork W1982209843 @default.
- W177558105 hasRelatedWork W1993129359 @default.
- W177558105 hasRelatedWork W2049542372 @default.
- W177558105 hasRelatedWork W2119717320 @default.
- W177558105 hasRelatedWork W2134291411 @default.
- W177558105 hasRelatedWork W2151994258 @default.
- W177558105 hasRelatedWork W2565660667 @default.
- W177558105 hasRelatedWork W2730165701 @default.
- W177558105 hasRelatedWork W2737138332 @default.
- W177558105 hasRelatedWork W2885446918 @default.
- W177558105 hasRelatedWork W2912924461 @default.
- W177558105 hasRelatedWork W2949381378 @default.
- W177558105 hasRelatedWork W2951361101 @default.
- W177558105 hasRelatedWork W2953635276 @default.
- W177558105 isParatext "false" @default.
- W177558105 isRetracted "false" @default.
- W177558105 magId "177558105" @default.
- W177558105 workType "article" @default.