Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300715051> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4300715051 abstract "We propose a method for automatically generating abstract transformers for static analysis by abstract interpretation. The method focuses on linear constraints on programs operating on rational, real or floating-point variables and containing linear assignments and tests. In addition to loop-free code, the same method also applies for obtaining least fixed points as functions of the precondition, which permits the analysis of loops and recursive functions. Our algorithms are based on new quantifier elimination and symbolic manipulation techniques. Given the specification of an abstract domain, and a program block, our method automatically outputs an implementation of the corresponding abstract transformer. It is thus a form of program transformation. The motivation of our work is data-flow synchronous programming languages, used for building control-command embedded systems, but it also applies to imperative and functional programming." @default.
- W4300715051 created "2022-10-04" @default.
- W4300715051 creator A5067069157 @default.
- W4300715051 date "2009-09-22" @default.
- W4300715051 modified "2023-09-27" @default.
- W4300715051 title "Automatic modular abstractions for template numerical constraints" @default.
- W4300715051 doi "https://doi.org/10.48550/arxiv.0909.4013" @default.
- W4300715051 hasPublicationYear "2009" @default.
- W4300715051 type Work @default.
- W4300715051 citedByCount "0" @default.
- W4300715051 crossrefType "posted-content" @default.
- W4300715051 hasAuthorship W4300715051A5067069157 @default.
- W4300715051 hasBestOaLocation W43007150511 @default.
- W4300715051 hasConcept C101468663 @default.
- W4300715051 hasConcept C11413529 @default.
- W4300715051 hasConcept C120558287 @default.
- W4300715051 hasConcept C121332964 @default.
- W4300715051 hasConcept C160191386 @default.
- W4300715051 hasConcept C165801399 @default.
- W4300715051 hasConcept C176359209 @default.
- W4300715051 hasConcept C192465680 @default.
- W4300715051 hasConcept C199360897 @default.
- W4300715051 hasConcept C2778361913 @default.
- W4300715051 hasConcept C2780654840 @default.
- W4300715051 hasConcept C32278780 @default.
- W4300715051 hasConcept C34165917 @default.
- W4300715051 hasConcept C41008148 @default.
- W4300715051 hasConcept C50033165 @default.
- W4300715051 hasConcept C62520636 @default.
- W4300715051 hasConcept C66322947 @default.
- W4300715051 hasConcept C80444323 @default.
- W4300715051 hasConcept C97686452 @default.
- W4300715051 hasConcept C98183937 @default.
- W4300715051 hasConceptScore W4300715051C101468663 @default.
- W4300715051 hasConceptScore W4300715051C11413529 @default.
- W4300715051 hasConceptScore W4300715051C120558287 @default.
- W4300715051 hasConceptScore W4300715051C121332964 @default.
- W4300715051 hasConceptScore W4300715051C160191386 @default.
- W4300715051 hasConceptScore W4300715051C165801399 @default.
- W4300715051 hasConceptScore W4300715051C176359209 @default.
- W4300715051 hasConceptScore W4300715051C192465680 @default.
- W4300715051 hasConceptScore W4300715051C199360897 @default.
- W4300715051 hasConceptScore W4300715051C2778361913 @default.
- W4300715051 hasConceptScore W4300715051C2780654840 @default.
- W4300715051 hasConceptScore W4300715051C32278780 @default.
- W4300715051 hasConceptScore W4300715051C34165917 @default.
- W4300715051 hasConceptScore W4300715051C41008148 @default.
- W4300715051 hasConceptScore W4300715051C50033165 @default.
- W4300715051 hasConceptScore W4300715051C62520636 @default.
- W4300715051 hasConceptScore W4300715051C66322947 @default.
- W4300715051 hasConceptScore W4300715051C80444323 @default.
- W4300715051 hasConceptScore W4300715051C97686452 @default.
- W4300715051 hasConceptScore W4300715051C98183937 @default.
- W4300715051 hasLocation W43007150511 @default.
- W4300715051 hasOpenAccess W4300715051 @default.
- W4300715051 hasPrimaryLocation W43007150511 @default.
- W4300715051 hasRelatedWork W1545615987 @default.
- W4300715051 hasRelatedWork W1567692042 @default.
- W4300715051 hasRelatedWork W1986693746 @default.
- W4300715051 hasRelatedWork W2117042503 @default.
- W4300715051 hasRelatedWork W2172006877 @default.
- W4300715051 hasRelatedWork W2392294830 @default.
- W4300715051 hasRelatedWork W2952380519 @default.
- W4300715051 hasRelatedWork W4231299604 @default.
- W4300715051 hasRelatedWork W4300715051 @default.
- W4300715051 hasRelatedWork W2527568693 @default.
- W4300715051 isParatext "false" @default.
- W4300715051 isRetracted "false" @default.
- W4300715051 workType "article" @default.