Matches in SemOpenAlex for { <https://semopenalex.org/work/W4293585849> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W4293585849 abstract "In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap analysis is an enrichment of that for pointer analysis; the enrichment has the form of a second component being added to types of the latter system. Results of pointer analysis are proved useful via their use in the type system for live stack-heap analysis. The type system for program optimization is also an augmentation of that for live stack-heap analysis, but the augmentation takes the form of a transformation component being added to inference rules of the latter system. The form of program optimization being achieved is that of dead-code elimination. A form of program correction may result indirectly from eliminating faulty code (causing the program to abort) that is dead. Therefore program optimization can result in program correction. Our type systems have the advantage of being compositional and relatively-simply structured. The novelty of our work comes from the fact that our type system for program optimization associates the optimized version of a program with a justification (in the form of a type derivation) for the optimization. This justification is pretty much appreciated in many research areas like certified code (proof-carrying code) which is the motivation of this work" @default.
- W4293585849 created "2022-08-30" @default.
- W4293585849 creator A5091481030 @default.
- W4293585849 date "2011-04-04" @default.
- W4293585849 modified "2023-09-23" @default.
- W4293585849 title "Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis" @default.
- W4293585849 doi "https://doi.org/10.48550/arxiv.1104.0644" @default.
- W4293585849 hasPublicationYear "2011" @default.
- W4293585849 type Work @default.
- W4293585849 citedByCount "0" @default.
- W4293585849 crossrefType "posted-content" @default.
- W4293585849 hasAuthorship W4293585849A5091481030 @default.
- W4293585849 hasBestOaLocation W42935858491 @default.
- W4293585849 hasConcept C134757568 @default.
- W4293585849 hasConcept C139571649 @default.
- W4293585849 hasConcept C150202949 @default.
- W4293585849 hasConcept C169590947 @default.
- W4293585849 hasConcept C199360897 @default.
- W4293585849 hasConcept C41008148 @default.
- W4293585849 hasConcept C7263679 @default.
- W4293585849 hasConcept C9390403 @default.
- W4293585849 hasConcept C97686452 @default.
- W4293585849 hasConcept C98183937 @default.
- W4293585849 hasConceptScore W4293585849C134757568 @default.
- W4293585849 hasConceptScore W4293585849C139571649 @default.
- W4293585849 hasConceptScore W4293585849C150202949 @default.
- W4293585849 hasConceptScore W4293585849C169590947 @default.
- W4293585849 hasConceptScore W4293585849C199360897 @default.
- W4293585849 hasConceptScore W4293585849C41008148 @default.
- W4293585849 hasConceptScore W4293585849C7263679 @default.
- W4293585849 hasConceptScore W4293585849C9390403 @default.
- W4293585849 hasConceptScore W4293585849C97686452 @default.
- W4293585849 hasConceptScore W4293585849C98183937 @default.
- W4293585849 hasLocation W42935858491 @default.
- W4293585849 hasOpenAccess W4293585849 @default.
- W4293585849 hasPrimaryLocation W42935858491 @default.
- W4293585849 hasRelatedWork W1486287063 @default.
- W4293585849 hasRelatedWork W1502289629 @default.
- W4293585849 hasRelatedWork W1972083926 @default.
- W4293585849 hasRelatedWork W2066669257 @default.
- W4293585849 hasRelatedWork W2113140066 @default.
- W4293585849 hasRelatedWork W2187604016 @default.
- W4293585849 hasRelatedWork W23987500 @default.
- W4293585849 hasRelatedWork W4280616461 @default.
- W4293585849 hasRelatedWork W4293585849 @default.
- W4293585849 hasRelatedWork W55917925 @default.
- W4293585849 isParatext "false" @default.
- W4293585849 isRetracted "false" @default.
- W4293585849 workType "article" @default.