Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079561514> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2079561514 endingPage "306" @default.
- W2079561514 startingPage "283" @default.
- W2079561514 abstract "Much of the earlier development of abstract interpretation, and its application to imperative programming languages, has concerned techniques for finding fixed points in large (often infinite) lattices. The standard approach in the abstract interpretation of functional languages has been to work with small, finite lattices and this supposedly circumvents the need for such techniques. However, practical experience has shown that, in the presence of higher-order functions, the lattices soon become too large (although still finite) for the fixed point finding problem to be tractable. This paper develops some approximation techniques which were first proposed by Hunt and shows how these techniques relate to the earlier use of widening and narrowing operations by the Cousots." @default.
- W2079561514 created "2016-06-24" @default.
- W2079561514 creator A5013709529 @default.
- W2079561514 creator A5020557587 @default.
- W2079561514 date "1994-06-01" @default.
- W2079561514 modified "2023-09-29" @default.
- W2079561514 title "Approximate fixed points in abstract interpretation" @default.
- W2079561514 cites W2025033165 @default.
- W2079561514 cites W2148958851 @default.
- W2079561514 doi "https://doi.org/10.1016/0167-6423(94)00007-7" @default.
- W2079561514 hasPublicationYear "1994" @default.
- W2079561514 type Work @default.
- W2079561514 sameAs 2079561514 @default.
- W2079561514 citedByCount "6" @default.
- W2079561514 countsByYear W20795615142019 @default.
- W2079561514 crossrefType "journal-article" @default.
- W2079561514 hasAuthorship W2079561514A5013709529 @default.
- W2079561514 hasAuthorship W2079561514A5020557587 @default.
- W2079561514 hasBestOaLocation W20795615141 @default.
- W2079561514 hasConcept C11413529 @default.
- W2079561514 hasConcept C134306372 @default.
- W2079561514 hasConcept C199360897 @default.
- W2079561514 hasConcept C2524010 @default.
- W2079561514 hasConcept C2780654840 @default.
- W2079561514 hasConcept C28719098 @default.
- W2079561514 hasConcept C33923547 @default.
- W2079561514 hasConcept C41008148 @default.
- W2079561514 hasConcept C527412718 @default.
- W2079561514 hasConcept C61445026 @default.
- W2079561514 hasConcept C80444323 @default.
- W2079561514 hasConceptScore W2079561514C11413529 @default.
- W2079561514 hasConceptScore W2079561514C134306372 @default.
- W2079561514 hasConceptScore W2079561514C199360897 @default.
- W2079561514 hasConceptScore W2079561514C2524010 @default.
- W2079561514 hasConceptScore W2079561514C2780654840 @default.
- W2079561514 hasConceptScore W2079561514C28719098 @default.
- W2079561514 hasConceptScore W2079561514C33923547 @default.
- W2079561514 hasConceptScore W2079561514C41008148 @default.
- W2079561514 hasConceptScore W2079561514C527412718 @default.
- W2079561514 hasConceptScore W2079561514C61445026 @default.
- W2079561514 hasConceptScore W2079561514C80444323 @default.
- W2079561514 hasIssue "3" @default.
- W2079561514 hasLocation W20795615141 @default.
- W2079561514 hasOpenAccess W2079561514 @default.
- W2079561514 hasPrimaryLocation W20795615141 @default.
- W2079561514 hasRelatedWork W1550132862 @default.
- W2079561514 hasRelatedWork W2021410963 @default.
- W2079561514 hasRelatedWork W2062066235 @default.
- W2079561514 hasRelatedWork W2074638034 @default.
- W2079561514 hasRelatedWork W2386369021 @default.
- W2079561514 hasRelatedWork W2949748681 @default.
- W2079561514 hasRelatedWork W3146823024 @default.
- W2079561514 hasRelatedWork W3169777496 @default.
- W2079561514 hasRelatedWork W4297892176 @default.
- W2079561514 hasRelatedWork W817135640 @default.
- W2079561514 hasVolume "22" @default.
- W2079561514 isParatext "false" @default.
- W2079561514 isRetracted "false" @default.
- W2079561514 magId "2079561514" @default.
- W2079561514 workType "article" @default.