Matches in SemOpenAlex for { <https://semopenalex.org/work/W2596986978> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2596986978 abstract "Traditionally, transfer functions have been designed manually for each operation in a program, instruction by instruction. In such a setting, a transfer function describes the semantics of a single instruction, detailing how a given abstract input state is mapped to an abstract output state. The net effect of a sequence of instructions, a basic block, can then be calculated by composing the transfer functions of the constituent instructions. However, precision can be improved by applying a single transfer function that captures the semantics of the block as a whole. Since blocks are program-dependent, this approach necessitates automation. There has thus been growing interest in computing transfer functions automatically, most notably using techniques based on quantifier elimination. Although conceptually elegant, quantifier elimination inevitably induces a computational bottleneck, which limits the applicability of these methods to small blocks. This paper contributes a method for calculating transfer functions that finesses quantifier elimination altogether, and can thus be seen as a response to this problem. The practicality of the method is demonstrated by generating transfer functions for input and output states that are described by linear template constraints, which include intervals and octagons." @default.
- W2596986978 created "2017-03-23" @default.
- W2596986978 creator A5063762504 @default.
- W2596986978 creator A5070791589 @default.
- W2596986978 date "2012-07-01" @default.
- W2596986978 modified "2023-09-27" @default.
- W2596986978 title "Transfer Function Synthesis without Quantifier Elimination (long version)" @default.
- W2596986978 hasPublicationYear "2012" @default.
- W2596986978 type Work @default.
- W2596986978 sameAs 2596986978 @default.
- W2596986978 citedByCount "0" @default.
- W2596986978 crossrefType "journal-article" @default.
- W2596986978 hasAuthorship W2596986978A5063762504 @default.
- W2596986978 hasAuthorship W2596986978A5070791589 @default.
- W2596986978 hasConcept C11413529 @default.
- W2596986978 hasConcept C119599485 @default.
- W2596986978 hasConcept C127413603 @default.
- W2596986978 hasConcept C14036430 @default.
- W2596986978 hasConcept C149635348 @default.
- W2596986978 hasConcept C173608175 @default.
- W2596986978 hasConcept C184337299 @default.
- W2596986978 hasConcept C199360897 @default.
- W2596986978 hasConcept C2524010 @default.
- W2596986978 hasConcept C2776175482 @default.
- W2596986978 hasConcept C2777210771 @default.
- W2596986978 hasConcept C2780513914 @default.
- W2596986978 hasConcept C32278780 @default.
- W2596986978 hasConcept C33923547 @default.
- W2596986978 hasConcept C41008148 @default.
- W2596986978 hasConcept C48103436 @default.
- W2596986978 hasConcept C78458016 @default.
- W2596986978 hasConcept C80444323 @default.
- W2596986978 hasConcept C81299745 @default.
- W2596986978 hasConcept C86803240 @default.
- W2596986978 hasConceptScore W2596986978C11413529 @default.
- W2596986978 hasConceptScore W2596986978C119599485 @default.
- W2596986978 hasConceptScore W2596986978C127413603 @default.
- W2596986978 hasConceptScore W2596986978C14036430 @default.
- W2596986978 hasConceptScore W2596986978C149635348 @default.
- W2596986978 hasConceptScore W2596986978C173608175 @default.
- W2596986978 hasConceptScore W2596986978C184337299 @default.
- W2596986978 hasConceptScore W2596986978C199360897 @default.
- W2596986978 hasConceptScore W2596986978C2524010 @default.
- W2596986978 hasConceptScore W2596986978C2776175482 @default.
- W2596986978 hasConceptScore W2596986978C2777210771 @default.
- W2596986978 hasConceptScore W2596986978C2780513914 @default.
- W2596986978 hasConceptScore W2596986978C32278780 @default.
- W2596986978 hasConceptScore W2596986978C33923547 @default.
- W2596986978 hasConceptScore W2596986978C41008148 @default.
- W2596986978 hasConceptScore W2596986978C48103436 @default.
- W2596986978 hasConceptScore W2596986978C78458016 @default.
- W2596986978 hasConceptScore W2596986978C80444323 @default.
- W2596986978 hasConceptScore W2596986978C81299745 @default.
- W2596986978 hasConceptScore W2596986978C86803240 @default.
- W2596986978 hasLocation W25969869781 @default.
- W2596986978 hasOpenAccess W2596986978 @default.
- W2596986978 hasPrimaryLocation W25969869781 @default.
- W2596986978 hasRelatedWork W1480312003 @default.
- W2596986978 hasRelatedWork W1542298067 @default.
- W2596986978 hasRelatedWork W1568140005 @default.
- W2596986978 hasRelatedWork W1574092633 @default.
- W2596986978 hasRelatedWork W1637042773 @default.
- W2596986978 hasRelatedWork W1772022673 @default.
- W2596986978 hasRelatedWork W1986652849 @default.
- W2596986978 hasRelatedWork W1994553690 @default.
- W2596986978 hasRelatedWork W2013063638 @default.
- W2596986978 hasRelatedWork W2028074529 @default.
- W2596986978 hasRelatedWork W2037400252 @default.
- W2596986978 hasRelatedWork W2106091862 @default.
- W2596986978 hasRelatedWork W2109452325 @default.
- W2596986978 hasRelatedWork W2125766540 @default.
- W2596986978 hasRelatedWork W2130894534 @default.
- W2596986978 hasRelatedWork W2222205073 @default.
- W2596986978 hasRelatedWork W2477696314 @default.
- W2596986978 hasRelatedWork W2479293798 @default.
- W2596986978 hasRelatedWork W2761697135 @default.
- W2596986978 hasRelatedWork W29534294 @default.
- W2596986978 isParatext "false" @default.
- W2596986978 isRetracted "false" @default.
- W2596986978 magId "2596986978" @default.
- W2596986978 workType "article" @default.