Matches in SemOpenAlex for { <https://semopenalex.org/work/W11779> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W11779 endingPage "36" @default.
- W11779 startingPage "33" @default.
- W11779 abstract "Most applications of the abstract interpretation framework[2] have been foranalyzing functional programs use functions on abstract values to approxi-mate functions, thus assuming that functions may be called at all arguments.When the abstract domain is finite, this approach can easily be generalizedto higher order functional languages as shown for example by [1]. In practicethis leads to combinatorial explosion problems as observed, for example, instrictness analysis of higher order functional languages." @default.
- W11779 created "2016-06-24" @default.
- W11779 creator A5007730604 @default.
- W11779 creator A5015957810 @default.
- W11779 date "1991-01-01" @default.
- W11779 modified "2023-10-17" @default.
- W11779 title "Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract)" @default.
- W11779 cites W1585404558 @default.
- W11779 cites W1726736548 @default.
- W11779 cites W2020530016 @default.
- W11779 cites W2031373197 @default.
- W11779 cites W2043100293 @default.
- W11779 cites W2132661148 @default.
- W11779 cites W134022380 @default.
- W11779 hasPublicationYear "1991" @default.
- W11779 type Work @default.
- W11779 sameAs 11779 @default.
- W11779 citedByCount "1" @default.
- W11779 countsByYear W117792015 @default.
- W11779 crossrefType "journal-article" @default.
- W11779 hasAuthorship W11779A5007730604 @default.
- W11779 hasAuthorship W11779A5015957810 @default.
- W11779 hasConcept C10138342 @default.
- W11779 hasConcept C134306372 @default.
- W11779 hasConcept C162324750 @default.
- W11779 hasConcept C182306322 @default.
- W11779 hasConcept C199360897 @default.
- W11779 hasConcept C2780654840 @default.
- W11779 hasConcept C33923547 @default.
- W11779 hasConcept C36503486 @default.
- W11779 hasConcept C41008148 @default.
- W11779 hasConcept C42383842 @default.
- W11779 hasConcept C527412718 @default.
- W11779 hasConcept C80444323 @default.
- W11779 hasConceptScore W11779C10138342 @default.
- W11779 hasConceptScore W11779C134306372 @default.
- W11779 hasConceptScore W11779C162324750 @default.
- W11779 hasConceptScore W11779C182306322 @default.
- W11779 hasConceptScore W11779C199360897 @default.
- W11779 hasConceptScore W11779C2780654840 @default.
- W11779 hasConceptScore W11779C33923547 @default.
- W11779 hasConceptScore W11779C36503486 @default.
- W11779 hasConceptScore W11779C41008148 @default.
- W11779 hasConceptScore W11779C42383842 @default.
- W11779 hasConceptScore W11779C527412718 @default.
- W11779 hasConceptScore W11779C80444323 @default.
- W11779 hasLocation W117791 @default.
- W11779 hasOpenAccess W11779 @default.
- W11779 hasPrimaryLocation W117791 @default.
- W11779 hasRelatedWork W1606045745 @default.
- W11779 hasRelatedWork W1976667587 @default.
- W11779 hasRelatedWork W2053910508 @default.
- W11779 hasRelatedWork W2227387155 @default.
- W11779 hasRelatedWork W2257718583 @default.
- W11779 hasRelatedWork W2395339009 @default.
- W11779 hasRelatedWork W2400741753 @default.
- W11779 hasRelatedWork W2488225848 @default.
- W11779 hasRelatedWork W2510433231 @default.
- W11779 hasRelatedWork W2518373904 @default.
- W11779 hasRelatedWork W2545627169 @default.
- W11779 hasRelatedWork W2588353698 @default.
- W11779 hasRelatedWork W2785025127 @default.
- W11779 hasRelatedWork W2833946054 @default.
- W11779 hasRelatedWork W2904640154 @default.
- W11779 hasRelatedWork W2915356799 @default.
- W11779 hasRelatedWork W2951880362 @default.
- W11779 hasRelatedWork W3006785914 @default.
- W11779 hasRelatedWork W3099227408 @default.
- W11779 hasRelatedWork W966283692 @default.
- W11779 isParatext "false" @default.
- W11779 isRetracted "false" @default.
- W11779 magId "11779" @default.
- W11779 workType "article" @default.