Matches in SemOpenAlex for { <https://semopenalex.org/work/W641383265> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W641383265 abstract "The motivations for program analyses are many. The impetus for the static analysis of programs initially ranged from the need for more efficient code to program transforms for parallel systems, but with the passage of time now also encompasses: providing the programmer with debugging information, program verification and program testing. Abstract interpretation is a methodology for static analysis that was formalised at the beginning of the last decade and is employed in both declarative and imperative programming paradigms. Abstract interpretation is a rigorous approximation technique that allows an analysis to focus on a particular property and infer useful information about the run time behaviour of the program being analysed. In order to implement an abstract interpretation it is necessary to chose an abstract domain that expresses the property of interest with sufficient precision to be useful. The focus of this thesis is on the use of two polyhedral domains as a means of capturing these properties of interest in logic programs. This thesis demonstrates how polyhedra can be employed to capture analyses that relate to dependency information with respect to some measure of size. Polyhedral analyses require a technique known as widening to ensure analysis convergence. Computational issues associated with widening prompted an investigation into the way linear spaces interact and how it is possible for a polyhedron to have different representations as a set of implicitly conjoined linear inequalities. Some useful computational insights are the outcome of this investigation. The observation that certain linear inequalities might represent dependency information prompted a novel approach to capturing dependency analysis with the subclass of polyhedra that can be represented by those linear inequalities. This could be advantageous for analyses in environments with constraint support as no set-up costs for the analysis would be incurred as the existing environment would be capable of supporting the abstract domain. Central to this thesis is the isomorphism that reveals the precise extent to which these polyhedra can represent dependency information. An argument-size analysis using polyhedra and a groundness analysis using certain polyhedral cones have been implemented up to the prototype stage." @default.
- W641383265 created "2016-06-24" @default.
- W641383265 creator A5019775797 @default.
- W641383265 date "2002-01-01" @default.
- W641383265 modified "2023-09-24" @default.
- W641383265 title "Polyhedral domains for abstract interpretation in logic programming" @default.
- W641383265 hasPublicationYear "2002" @default.
- W641383265 type Work @default.
- W641383265 sameAs 641383265 @default.
- W641383265 citedByCount "5" @default.
- W641383265 countsByYear W6413832652013 @default.
- W641383265 crossrefType "dissertation" @default.
- W641383265 hasAuthorship W641383265A5019775797 @default.
- W641383265 hasConcept C111472728 @default.
- W641383265 hasConcept C11413529 @default.
- W641383265 hasConcept C115903868 @default.
- W641383265 hasConcept C120665830 @default.
- W641383265 hasConcept C121332964 @default.
- W641383265 hasConcept C134306372 @default.
- W641383265 hasConcept C138885662 @default.
- W641383265 hasConcept C168065819 @default.
- W641383265 hasConcept C177264268 @default.
- W641383265 hasConcept C189950617 @default.
- W641383265 hasConcept C192209626 @default.
- W641383265 hasConcept C19768560 @default.
- W641383265 hasConcept C199360897 @default.
- W641383265 hasConcept C2524010 @default.
- W641383265 hasConcept C2778514511 @default.
- W641383265 hasConcept C2780654840 @default.
- W641383265 hasConcept C33923547 @default.
- W641383265 hasConcept C36503486 @default.
- W641383265 hasConcept C41008148 @default.
- W641383265 hasConcept C41045048 @default.
- W641383265 hasConcept C527412718 @default.
- W641383265 hasConcept C54829058 @default.
- W641383265 hasConcept C80444323 @default.
- W641383265 hasConcept C97686452 @default.
- W641383265 hasConcept C98183937 @default.
- W641383265 hasConceptScore W641383265C111472728 @default.
- W641383265 hasConceptScore W641383265C11413529 @default.
- W641383265 hasConceptScore W641383265C115903868 @default.
- W641383265 hasConceptScore W641383265C120665830 @default.
- W641383265 hasConceptScore W641383265C121332964 @default.
- W641383265 hasConceptScore W641383265C134306372 @default.
- W641383265 hasConceptScore W641383265C138885662 @default.
- W641383265 hasConceptScore W641383265C168065819 @default.
- W641383265 hasConceptScore W641383265C177264268 @default.
- W641383265 hasConceptScore W641383265C189950617 @default.
- W641383265 hasConceptScore W641383265C192209626 @default.
- W641383265 hasConceptScore W641383265C19768560 @default.
- W641383265 hasConceptScore W641383265C199360897 @default.
- W641383265 hasConceptScore W641383265C2524010 @default.
- W641383265 hasConceptScore W641383265C2778514511 @default.
- W641383265 hasConceptScore W641383265C2780654840 @default.
- W641383265 hasConceptScore W641383265C33923547 @default.
- W641383265 hasConceptScore W641383265C36503486 @default.
- W641383265 hasConceptScore W641383265C41008148 @default.
- W641383265 hasConceptScore W641383265C41045048 @default.
- W641383265 hasConceptScore W641383265C527412718 @default.
- W641383265 hasConceptScore W641383265C54829058 @default.
- W641383265 hasConceptScore W641383265C80444323 @default.
- W641383265 hasConceptScore W641383265C97686452 @default.
- W641383265 hasConceptScore W641383265C98183937 @default.
- W641383265 hasLocation W6413832651 @default.
- W641383265 hasOpenAccess W641383265 @default.
- W641383265 hasPrimaryLocation W6413832651 @default.
- W641383265 hasRelatedWork W145811664 @default.
- W641383265 hasRelatedWork W1535550067 @default.
- W641383265 hasRelatedWork W1555438985 @default.
- W641383265 hasRelatedWork W2020822927 @default.
- W641383265 hasRelatedWork W2048422440 @default.
- W641383265 hasRelatedWork W206216490 @default.
- W641383265 hasRelatedWork W2094518006 @default.
- W641383265 hasRelatedWork W2116496162 @default.
- W641383265 hasRelatedWork W2132661148 @default.
- W641383265 hasRelatedWork W2253830531 @default.
- W641383265 hasRelatedWork W2295819238 @default.
- W641383265 hasRelatedWork W2346669780 @default.
- W641383265 hasRelatedWork W2399563269 @default.
- W641383265 hasRelatedWork W2477642340 @default.
- W641383265 hasRelatedWork W2544347935 @default.
- W641383265 hasRelatedWork W2950519199 @default.
- W641383265 hasRelatedWork W3029115295 @default.
- W641383265 hasRelatedWork W3160180849 @default.
- W641383265 hasRelatedWork W3183197268 @default.
- W641383265 hasRelatedWork W89774559 @default.
- W641383265 isParatext "false" @default.
- W641383265 isRetracted "false" @default.
- W641383265 magId "641383265" @default.
- W641383265 workType "dissertation" @default.