Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566315298> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1566315298 endingPage "59" @default.
- W1566315298 startingPage "47" @default.
- W1566315298 abstract "We propose a notion of uniform ideal (certain Scott-closed sets) to characterise strictness properties. This enables us to explain why Hughes' and Wadler's H projection for lazy list strictness analysis is not in general expressible as an abstract interpretation property of the standard semantics. We give circumstances when it is so expressible. Doing so casts light on Burn's H B projection and his question of its relationship to H.Uniform ideals are a generalisation of the sets of values corresponding to types in (simple) polymorphic type systems. Wadler's doubly-lifted abstract domain constructor for lazy lists can be seen as a special case which only uses certain uniform ideals.The confluence of strictness and type theory furthers Kuo and Mishra's notion of “strictness types”.KeywordsAbstract InterpretationAbstract DomainUniform PropertyList TypeUniversal DomainThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1566315298 created "2016-06-24" @default.
- W1566315298 creator A5004222850 @default.
- W1566315298 creator A5053463047 @default.
- W1566315298 date "1991-01-01" @default.
- W1566315298 modified "2023-10-02" @default.
- W1566315298 title "Uniform ideals and strictness analysis" @default.
- W1566315298 cites W127630583 @default.
- W1566315298 cites W1537394154 @default.
- W1566315298 cites W1559686260 @default.
- W1566315298 cites W1992520783 @default.
- W1566315298 cites W2017720469 @default.
- W1566315298 cites W2052203363 @default.
- W1566315298 cites W2064596811 @default.
- W1566315298 doi "https://doi.org/10.1007/3-540-54233-7_124" @default.
- W1566315298 hasPublicationYear "1991" @default.
- W1566315298 type Work @default.
- W1566315298 sameAs 1566315298 @default.
- W1566315298 citedByCount "6" @default.
- W1566315298 crossrefType "book-chapter" @default.
- W1566315298 hasAuthorship W1566315298A5004222850 @default.
- W1566315298 hasAuthorship W1566315298A5053463047 @default.
- W1566315298 hasConcept C111472728 @default.
- W1566315298 hasConcept C11413529 @default.
- W1566315298 hasConcept C134306372 @default.
- W1566315298 hasConcept C136119220 @default.
- W1566315298 hasConcept C138885662 @default.
- W1566315298 hasConcept C184337299 @default.
- W1566315298 hasConcept C18903297 @default.
- W1566315298 hasConcept C189950617 @default.
- W1566315298 hasConcept C199360897 @default.
- W1566315298 hasConcept C202444582 @default.
- W1566315298 hasConcept C2776639384 @default.
- W1566315298 hasConcept C2777299769 @default.
- W1566315298 hasConcept C2780586882 @default.
- W1566315298 hasConcept C2780654840 @default.
- W1566315298 hasConcept C33923547 @default.
- W1566315298 hasConcept C36503486 @default.
- W1566315298 hasConcept C41008148 @default.
- W1566315298 hasConcept C527412718 @default.
- W1566315298 hasConcept C57493831 @default.
- W1566315298 hasConcept C77906462 @default.
- W1566315298 hasConcept C80444323 @default.
- W1566315298 hasConcept C86803240 @default.
- W1566315298 hasConceptScore W1566315298C111472728 @default.
- W1566315298 hasConceptScore W1566315298C11413529 @default.
- W1566315298 hasConceptScore W1566315298C134306372 @default.
- W1566315298 hasConceptScore W1566315298C136119220 @default.
- W1566315298 hasConceptScore W1566315298C138885662 @default.
- W1566315298 hasConceptScore W1566315298C184337299 @default.
- W1566315298 hasConceptScore W1566315298C18903297 @default.
- W1566315298 hasConceptScore W1566315298C189950617 @default.
- W1566315298 hasConceptScore W1566315298C199360897 @default.
- W1566315298 hasConceptScore W1566315298C202444582 @default.
- W1566315298 hasConceptScore W1566315298C2776639384 @default.
- W1566315298 hasConceptScore W1566315298C2777299769 @default.
- W1566315298 hasConceptScore W1566315298C2780586882 @default.
- W1566315298 hasConceptScore W1566315298C2780654840 @default.
- W1566315298 hasConceptScore W1566315298C33923547 @default.
- W1566315298 hasConceptScore W1566315298C36503486 @default.
- W1566315298 hasConceptScore W1566315298C41008148 @default.
- W1566315298 hasConceptScore W1566315298C527412718 @default.
- W1566315298 hasConceptScore W1566315298C57493831 @default.
- W1566315298 hasConceptScore W1566315298C77906462 @default.
- W1566315298 hasConceptScore W1566315298C80444323 @default.
- W1566315298 hasConceptScore W1566315298C86803240 @default.
- W1566315298 hasLocation W15663152981 @default.
- W1566315298 hasOpenAccess W1566315298 @default.
- W1566315298 hasPrimaryLocation W15663152981 @default.
- W1566315298 hasRelatedWork W1516307991 @default.
- W1566315298 hasRelatedWork W1542328151 @default.
- W1566315298 hasRelatedWork W1558230924 @default.
- W1566315298 hasRelatedWork W1599545538 @default.
- W1566315298 hasRelatedWork W1603485317 @default.
- W1566315298 hasRelatedWork W2016527594 @default.
- W1566315298 hasRelatedWork W2052203363 @default.
- W1566315298 hasRelatedWork W2074638034 @default.
- W1566315298 hasRelatedWork W2889374234 @default.
- W1566315298 hasRelatedWork W817135640 @default.
- W1566315298 isParatext "false" @default.
- W1566315298 isRetracted "false" @default.
- W1566315298 magId "1566315298" @default.
- W1566315298 workType "book-chapter" @default.