Matches in SemOpenAlex for { <https://semopenalex.org/work/W2153454313> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2153454313 endingPage "320" @default.
- W2153454313 startingPage "306" @default.
- W2153454313 abstract "Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popular weakly relational domains such as bounded differences and octagons have found application in model checking and abstract interpretation. This paper introduces logahedra, which are more expressiveness than octagons, but less expressive than arbitrary systems of two variable per inequality constraints. Logahedra allow coefficients of inequalities to be powers of two whilst retaining many of the desirable algorithmic properties of octagons." @default.
- W2153454313 created "2016-06-24" @default.
- W2153454313 creator A5039886424 @default.
- W2153454313 creator A5063762504 @default.
- W2153454313 date "2009-01-01" @default.
- W2153454313 modified "2023-10-18" @default.
- W2153454313 title "Logahedra: A New Weakly Relational Domain" @default.
- W2153454313 cites W1507199453 @default.
- W2153454313 cites W1589297860 @default.
- W2153454313 cites W181487622 @default.
- W2153454313 cites W1837799190 @default.
- W2153454313 cites W1946377831 @default.
- W2153454313 cites W1957766372 @default.
- W2153454313 cites W1968208713 @default.
- W2153454313 cites W1997268799 @default.
- W2153454313 cites W2033597899 @default.
- W2153454313 cites W2060095702 @default.
- W2153454313 cites W3158747708 @default.
- W2153454313 doi "https://doi.org/10.1007/978-3-642-04761-9_23" @default.
- W2153454313 hasPublicationYear "2009" @default.
- W2153454313 type Work @default.
- W2153454313 sameAs 2153454313 @default.
- W2153454313 citedByCount "28" @default.
- W2153454313 countsByYear W21534543132012 @default.
- W2153454313 countsByYear W21534543132013 @default.
- W2153454313 countsByYear W21534543132014 @default.
- W2153454313 countsByYear W21534543132015 @default.
- W2153454313 countsByYear W21534543132017 @default.
- W2153454313 countsByYear W21534543132018 @default.
- W2153454313 countsByYear W21534543132019 @default.
- W2153454313 countsByYear W21534543132023 @default.
- W2153454313 crossrefType "book-chapter" @default.
- W2153454313 hasAuthorship W2153454313A5039886424 @default.
- W2153454313 hasAuthorship W2153454313A5063762504 @default.
- W2153454313 hasBestOaLocation W21534543132 @default.
- W2153454313 hasConcept C11413529 @default.
- W2153454313 hasConcept C134306372 @default.
- W2153454313 hasConcept C182365436 @default.
- W2153454313 hasConcept C199360897 @default.
- W2153454313 hasConcept C2780654840 @default.
- W2153454313 hasConcept C33923547 @default.
- W2153454313 hasConcept C34388435 @default.
- W2153454313 hasConcept C36503486 @default.
- W2153454313 hasConcept C41008148 @default.
- W2153454313 hasConcept C527412718 @default.
- W2153454313 hasConcept C80444323 @default.
- W2153454313 hasConceptScore W2153454313C11413529 @default.
- W2153454313 hasConceptScore W2153454313C134306372 @default.
- W2153454313 hasConceptScore W2153454313C182365436 @default.
- W2153454313 hasConceptScore W2153454313C199360897 @default.
- W2153454313 hasConceptScore W2153454313C2780654840 @default.
- W2153454313 hasConceptScore W2153454313C33923547 @default.
- W2153454313 hasConceptScore W2153454313C34388435 @default.
- W2153454313 hasConceptScore W2153454313C36503486 @default.
- W2153454313 hasConceptScore W2153454313C41008148 @default.
- W2153454313 hasConceptScore W2153454313C527412718 @default.
- W2153454313 hasConceptScore W2153454313C80444323 @default.
- W2153454313 hasLocation W21534543131 @default.
- W2153454313 hasLocation W21534543132 @default.
- W2153454313 hasLocation W21534543133 @default.
- W2153454313 hasOpenAccess W2153454313 @default.
- W2153454313 hasPrimaryLocation W21534543131 @default.
- W2153454313 hasRelatedWork W1576856119 @default.
- W2153454313 hasRelatedWork W1603485317 @default.
- W2153454313 hasRelatedWork W19356467 @default.
- W2153454313 hasRelatedWork W2021410963 @default.
- W2153454313 hasRelatedWork W2074638034 @default.
- W2153454313 hasRelatedWork W2914892239 @default.
- W2153454313 hasRelatedWork W2963788871 @default.
- W2153454313 hasRelatedWork W3146823024 @default.
- W2153454313 hasRelatedWork W3169777496 @default.
- W2153454313 hasRelatedWork W3177753459 @default.
- W2153454313 isParatext "false" @default.
- W2153454313 isRetracted "false" @default.
- W2153454313 magId "2153454313" @default.
- W2153454313 workType "book-chapter" @default.