Matches in SemOpenAlex for { <https://semopenalex.org/work/W1586044685> ?p ?o ?g. }
Showing items 1 to 38 of
38
with 100 items per page.
- W1586044685 abstract "I describe an automated approach to partial evaluation based on simplification and implemented by program transformations. The approach emphasizes program algebra and relies on canonical forms and distributive laws to expose instances to which simplifications can be applied. I discuss some of the considerations that led to the design of this approach. This design discussion should be useful both in understanding the structure of the partial evaluation transformations, and as an example of how to approach the design of automated program transformations in general. This approach to partial evaluation has been applied to a number of practical examples of moderate complexity, including: the running example used in this paper, proving an identity for lists, and eliminating a virtual data structure from a specification of practical interest. The chief practical barrier to its wider application is the growth of the intermediate program text during partial evaluation. Despite this limitation, this approach has the virtues of being implemented, automated, and able to partially evaluate specifications containing implicit data, including some specifications of practical interest." @default.
- W1586044685 created "2016-06-24" @default.
- W1586044685 creator A5081549571 @default.
- W1586044685 date "1992-11-21" @default.
- W1586044685 modified "2023-09-26" @default.
- W1586044685 title "Simplification-driven automated partial evaluation" @default.
- W1586044685 hasPublicationYear "1992" @default.
- W1586044685 type Work @default.
- W1586044685 sameAs 1586044685 @default.
- W1586044685 citedByCount "0" @default.
- W1586044685 crossrefType "proceedings" @default.
- W1586044685 hasAuthorship W1586044685A5081549571 @default.
- W1586044685 hasBestOaLocation W15860446851 @default.
- W1586044685 hasConcept C195701839 @default.
- W1586044685 hasConcept C199360897 @default.
- W1586044685 hasConcept C41008148 @default.
- W1586044685 hasConceptScore W1586044685C195701839 @default.
- W1586044685 hasConceptScore W1586044685C199360897 @default.
- W1586044685 hasConceptScore W1586044685C41008148 @default.
- W1586044685 hasLocation W15860446851 @default.
- W1586044685 hasLocation W15860446852 @default.
- W1586044685 hasLocation W15860446853 @default.
- W1586044685 hasOpenAccess W1586044685 @default.
- W1586044685 hasPrimaryLocation W15860446851 @default.
- W1586044685 hasRelatedWork W1510251280 @default.
- W1586044685 hasRelatedWork W1562776059 @default.
- W1586044685 hasRelatedWork W2047793074 @default.
- W1586044685 hasRelatedWork W2105090473 @default.
- W1586044685 hasRelatedWork W2106716501 @default.
- W1586044685 hasRelatedWork W2164885086 @default.
- W1586044685 hasRelatedWork W2170845281 @default.
- W1586044685 hasRelatedWork W2363800583 @default.
- W1586044685 hasRelatedWork W2592423893 @default.
- W1586044685 hasRelatedWork W4237313518 @default.
- W1586044685 isParatext "false" @default.
- W1586044685 isRetracted "false" @default.
- W1586044685 magId "1586044685" @default.
- W1586044685 workType "paratext" @default.