FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2222205073> ?p ?o ?g. }

• W2222205073 abstract "The term partial evaluation describes a class of program transformation techniques. The heart of these techniques is to transform programs by incorporating portions of known run-time data into the program. The resulting program has been partially evaluated--some of the actions of the program can be performed at compile-time due to the known data. There are two general classes of known data that can be used by such a process. The first class is composed of data that is implicit in the production of the program; examples include textual constants, macro expanded values, type tag values, method dispatch tables, etc. Some amount of such data occurs frequently in high-level programs. The second category is composed of data that is explicitly provided at compile time. Such data can be used to create customized versions of very general programs such as ray-tracing and numerical modeling systems.In this thesis we propose a formal framework for an on-line partial evaluation system. The underlying model for values in the partial evaluator is not restricted to finite-height lattices; the termination of the evaluator depends on the convergence of operations, rather than on a restricted model for values in the system. The proposed framework clearly separates the partial evaluation algorithm from the abstract domains used for representing information during the evaluation, allowing a wide variety of evaluations to be effected by the same core algorithm. The partial evaluation algorithm that is proposed as part of the framework is a polyvariant on-line algorithm that makes effective use of the static information present in program source while preserving soundness and termination. The thesis presents careful proofs of termination and soundness based on characterizations of behaviour under the natural semantics. The key to the algorithm is recognizing when exact analysis is safe with regards to termination and when a more conservative approximation is needed.The actual on-line algorithm depends only on the properties of the abstract domains, not on particular choices of abstraction. The abstract domains allow the partial evaluation algorithm to take advantage of safe computations whenever possible. The overall algorithm we propose compares favourably to other partial evaluation systems in its ability to capture information present in the program, and the ability of the system to execute without any human intervention other than an indication of how much the system is permitted to increase the size of resulting program. The ability of a general system to generate reasonable results without human intervention is a key advantage that is a prerequisite for having this type of technology applied in real systems." @default.
• W2222205073 created "2016-06-24" @default.
• W2222205073 creator A5079328450 @default.
• W2222205073 date "1998-03-17" @default.
• W2222205073 modified "2023-09-23" @default.
• W2222205073 title "A framework for on-line partial evaluation" @default.
• W2222205073 hasPublicationYear "1998" @default.
• W2222205073 type Work @default.
• W2222205073 sameAs 2222205073 @default.
• W2222205073 citedByCount "0" @default.
• W2222205073 crossrefType "dissertation" @default.
• W2222205073 hasAuthorship W2222205073A5079328450 @default.
• W2222205073 hasConcept C104317684 @default.
• W2222205073 hasConcept C11413529 @default.
• W2222205073 hasConcept C136197465 @default.
• W2222205073 hasConcept C138673069 @default.
• W2222205073 hasConcept C138958017 @default.
• W2222205073 hasConcept C154945302 @default.
• W2222205073 hasConcept C162324750 @default.
• W2222205073 hasConcept C169590947 @default.
• W2222205073 hasConcept C185592680 @default.
• W2222205073 hasConcept C195701839 @default.
• W2222205073 hasConcept C199360897 @default.
• W2222205073 hasConcept C204241405 @default.
• W2222205073 hasConcept C2777212361 @default.
• W2222205073 hasConcept C2777303404 @default.
• W2222205073 hasConcept C2778361913 @default.
• W2222205073 hasConcept C41008148 @default.
• W2222205073 hasConcept C50522688 @default.
• W2222205073 hasConcept C55493867 @default.
• W2222205073 hasConcept C80444323 @default.
• W2222205073 hasConcept C98045186 @default.
• W2222205073 hasConceptScore W2222205073C104317684 @default.
• W2222205073 hasConceptScore W2222205073C11413529 @default.
• W2222205073 hasConceptScore W2222205073C136197465 @default.
• W2222205073 hasConceptScore W2222205073C138673069 @default.
• W2222205073 hasConceptScore W2222205073C138958017 @default.
• W2222205073 hasConceptScore W2222205073C154945302 @default.
• W2222205073 hasConceptScore W2222205073C162324750 @default.
• W2222205073 hasConceptScore W2222205073C169590947 @default.
• W2222205073 hasConceptScore W2222205073C185592680 @default.
• W2222205073 hasConceptScore W2222205073C195701839 @default.
• W2222205073 hasConceptScore W2222205073C199360897 @default.
• W2222205073 hasConceptScore W2222205073C204241405 @default.
• W2222205073 hasConceptScore W2222205073C2777212361 @default.
• W2222205073 hasConceptScore W2222205073C2777303404 @default.
• W2222205073 hasConceptScore W2222205073C2778361913 @default.
• W2222205073 hasConceptScore W2222205073C41008148 @default.
• W2222205073 hasConceptScore W2222205073C50522688 @default.
• W2222205073 hasConceptScore W2222205073C55493867 @default.
• W2222205073 hasConceptScore W2222205073C80444323 @default.
• W2222205073 hasConceptScore W2222205073C98045186 @default.
• W2222205073 hasLocation W22222050731 @default.
• W2222205073 hasOpenAccess W2222205073 @default.
• W2222205073 hasPrimaryLocation W22222050731 @default.
• W2222205073 hasRelatedWork W1494539666 @default.
• W2222205073 hasRelatedWork W1562372713 @default.
• W2222205073 hasRelatedWork W1566341519 @default.
• W2222205073 hasRelatedWork W1623321129 @default.
• W2222205073 hasRelatedWork W184346136 @default.
• W2222205073 hasRelatedWork W2003411722 @default.
• W2222205073 hasRelatedWork W2081673010 @default.
• W2222205073 hasRelatedWork W2084862657 @default.
• W2222205073 hasRelatedWork W2088126145 @default.
• W2222205073 hasRelatedWork W2094944943 @default.
• W2222205073 hasRelatedWork W2095901123 @default.
• W2222205073 hasRelatedWork W2109452325 @default.
• W2222205073 hasRelatedWork W2143441770 @default.
• W2222205073 hasRelatedWork W2169411626 @default.
• W2222205073 hasRelatedWork W2175275752 @default.
• W2222205073 hasRelatedWork W2529529838 @default.
• W2222205073 hasRelatedWork W2625955000 @default.
• W2222205073 hasRelatedWork W2914979212 @default.
• W2222205073 hasRelatedWork W29534294 @default.
• W2222205073 hasRelatedWork W3104721040 @default.
• W2222205073 isParatext "false" @default.
• W2222205073 isRetracted "false" @default.
• W2222205073 magId "2222205073" @default.
• W2222205073 workType "dissertation" @default.