Matches in SemOpenAlex for { <https://semopenalex.org/work/W2006404679> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2006404679 endingPage "57" @default.
- W2006404679 startingPage "33" @default.
- W2006404679 abstract "PVS is a highly automated framework for specification and verification. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some useful program transformation techniques. We examine two such examples in detail. The first is a fusion theorem due to Bird where the composition of a catamorphism (a recursive operation on the structure of a datatype) and an anamorphism (an operation that constructs instances of the datatype) are fused to eliminate the intermediate data structure. The second example is Wand's continuation-based transformation technique for deriving tail-recursive functions from non-tailrecursive ones. These examples illustrate the utility of the language and inference features of PVS in capturing these transformations in a simple, general, and useful form." @default.
- W2006404679 created "2016-06-24" @default.
- W2006404679 creator A5079528906 @default.
- W2006404679 date "1996-05-01" @default.
- W2006404679 modified "2023-09-26" @default.
- W2006404679 title "Steps towards mechanizing program transformations using PVS" @default.
- W2006404679 cites W2030670832 @default.
- W2006404679 cites W2034500240 @default.
- W2006404679 cites W2050584095 @default.
- W2006404679 cites W2113486906 @default.
- W2006404679 cites W2129466151 @default.
- W2006404679 cites W2208923056 @default.
- W2006404679 cites W2535373241 @default.
- W2006404679 doi "https://doi.org/10.1016/0167-6423(96)00003-2" @default.
- W2006404679 hasPublicationYear "1996" @default.
- W2006404679 type Work @default.
- W2006404679 sameAs 2006404679 @default.
- W2006404679 citedByCount "12" @default.
- W2006404679 countsByYear W20064046792014 @default.
- W2006404679 crossrefType "journal-article" @default.
- W2006404679 hasAuthorship W2006404679A5079528906 @default.
- W2006404679 hasConcept C104317684 @default.
- W2006404679 hasConcept C111472728 @default.
- W2006404679 hasConcept C11413529 @default.
- W2006404679 hasConcept C138885662 @default.
- W2006404679 hasConcept C154945302 @default.
- W2006404679 hasConcept C185592680 @default.
- W2006404679 hasConcept C195701839 @default.
- W2006404679 hasConcept C198370458 @default.
- W2006404679 hasConcept C199360897 @default.
- W2006404679 hasConcept C204241405 @default.
- W2006404679 hasConcept C2776214188 @default.
- W2006404679 hasConcept C2778361913 @default.
- W2006404679 hasConcept C2780586882 @default.
- W2006404679 hasConcept C41008148 @default.
- W2006404679 hasConcept C55493867 @default.
- W2006404679 hasConcept C80444323 @default.
- W2006404679 hasConcept C88626702 @default.
- W2006404679 hasConcept C98183937 @default.
- W2006404679 hasConceptScore W2006404679C104317684 @default.
- W2006404679 hasConceptScore W2006404679C111472728 @default.
- W2006404679 hasConceptScore W2006404679C11413529 @default.
- W2006404679 hasConceptScore W2006404679C138885662 @default.
- W2006404679 hasConceptScore W2006404679C154945302 @default.
- W2006404679 hasConceptScore W2006404679C185592680 @default.
- W2006404679 hasConceptScore W2006404679C195701839 @default.
- W2006404679 hasConceptScore W2006404679C198370458 @default.
- W2006404679 hasConceptScore W2006404679C199360897 @default.
- W2006404679 hasConceptScore W2006404679C204241405 @default.
- W2006404679 hasConceptScore W2006404679C2776214188 @default.
- W2006404679 hasConceptScore W2006404679C2778361913 @default.
- W2006404679 hasConceptScore W2006404679C2780586882 @default.
- W2006404679 hasConceptScore W2006404679C41008148 @default.
- W2006404679 hasConceptScore W2006404679C55493867 @default.
- W2006404679 hasConceptScore W2006404679C80444323 @default.
- W2006404679 hasConceptScore W2006404679C88626702 @default.
- W2006404679 hasConceptScore W2006404679C98183937 @default.
- W2006404679 hasIssue "1-3" @default.
- W2006404679 hasLocation W20064046791 @default.
- W2006404679 hasOpenAccess W2006404679 @default.
- W2006404679 hasPrimaryLocation W20064046791 @default.
- W2006404679 hasRelatedWork W1608659702 @default.
- W2006404679 hasRelatedWork W1847632227 @default.
- W2006404679 hasRelatedWork W1970625600 @default.
- W2006404679 hasRelatedWork W1993524544 @default.
- W2006404679 hasRelatedWork W2006404679 @default.
- W2006404679 hasRelatedWork W2043282502 @default.
- W2006404679 hasRelatedWork W4246798589 @default.
- W2006404679 hasRelatedWork W4312966311 @default.
- W2006404679 hasRelatedWork W2247596074 @default.
- W2006404679 hasRelatedWork W2584819674 @default.
- W2006404679 hasVolume "26" @default.
- W2006404679 isParatext "false" @default.
- W2006404679 isRetracted "false" @default.
- W2006404679 magId "2006404679" @default.
- W2006404679 workType "article" @default.