Matches in SemOpenAlex for { <https://semopenalex.org/work/W2777173664> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2777173664 endingPage "145" @default.
- W2777173664 startingPage "133" @default.
- W2777173664 abstract "The design of recursive functions is a well-studied subject. Design methods require a specification to start with, however, when an embedding design is attempted at, it is not clear how the specification of the embedding relates to that of the initial function. We propose a method for deriving specifications of embeddings. We show how other known formal methods, such as loop derivation or program transformation, can be related to our method in a clear fashion. The use of embedding to enhance the efficiency of programs is also discussed." @default.
- W2777173664 created "2018-01-05" @default.
- W2777173664 creator A5016044555 @default.
- W2777173664 creator A5046388094 @default.
- W2777173664 creator A5046454039 @default.
- W2777173664 date "1989-01-01" @default.
- W2777173664 modified "2023-09-23" @default.
- W2777173664 title "Deriving specifications of embeddings in recursive program design" @default.
- W2777173664 hasPublicationYear "1989" @default.
- W2777173664 type Work @default.
- W2777173664 sameAs 2777173664 @default.
- W2777173664 citedByCount "0" @default.
- W2777173664 crossrefType "journal-article" @default.
- W2777173664 hasAuthorship W2777173664A5016044555 @default.
- W2777173664 hasAuthorship W2777173664A5046388094 @default.
- W2777173664 hasAuthorship W2777173664A5046454039 @default.
- W2777173664 hasConcept C104317684 @default.
- W2777173664 hasConcept C11413529 @default.
- W2777173664 hasConcept C116253237 @default.
- W2777173664 hasConcept C14036430 @default.
- W2777173664 hasConcept C154945302 @default.
- W2777173664 hasConcept C185592680 @default.
- W2777173664 hasConcept C199360897 @default.
- W2777173664 hasConcept C204241405 @default.
- W2777173664 hasConcept C2778361913 @default.
- W2777173664 hasConcept C41008148 @default.
- W2777173664 hasConcept C41608201 @default.
- W2777173664 hasConcept C55493867 @default.
- W2777173664 hasConcept C75606506 @default.
- W2777173664 hasConcept C78458016 @default.
- W2777173664 hasConcept C80444323 @default.
- W2777173664 hasConcept C86803240 @default.
- W2777173664 hasConceptScore W2777173664C104317684 @default.
- W2777173664 hasConceptScore W2777173664C11413529 @default.
- W2777173664 hasConceptScore W2777173664C116253237 @default.
- W2777173664 hasConceptScore W2777173664C14036430 @default.
- W2777173664 hasConceptScore W2777173664C154945302 @default.
- W2777173664 hasConceptScore W2777173664C185592680 @default.
- W2777173664 hasConceptScore W2777173664C199360897 @default.
- W2777173664 hasConceptScore W2777173664C204241405 @default.
- W2777173664 hasConceptScore W2777173664C2778361913 @default.
- W2777173664 hasConceptScore W2777173664C41008148 @default.
- W2777173664 hasConceptScore W2777173664C41608201 @default.
- W2777173664 hasConceptScore W2777173664C55493867 @default.
- W2777173664 hasConceptScore W2777173664C75606506 @default.
- W2777173664 hasConceptScore W2777173664C78458016 @default.
- W2777173664 hasConceptScore W2777173664C80444323 @default.
- W2777173664 hasConceptScore W2777173664C86803240 @default.
- W2777173664 hasLocation W27771736641 @default.
- W2777173664 hasOpenAccess W2777173664 @default.
- W2777173664 hasPrimaryLocation W27771736641 @default.
- W2777173664 hasRelatedWork W1513263504 @default.
- W2777173664 hasRelatedWork W1519887245 @default.
- W2777173664 hasRelatedWork W1748452786 @default.
- W2777173664 hasRelatedWork W1925754846 @default.
- W2777173664 hasRelatedWork W2108726280 @default.
- W2777173664 hasRelatedWork W2184131427 @default.
- W2777173664 hasRelatedWork W2296197518 @default.
- W2777173664 hasRelatedWork W2341995966 @default.
- W2777173664 hasRelatedWork W2401912057 @default.
- W2777173664 hasRelatedWork W2417480471 @default.
- W2777173664 hasRelatedWork W25108262 @default.
- W2777173664 hasRelatedWork W2625553213 @default.
- W2777173664 hasRelatedWork W2625658974 @default.
- W2777173664 hasRelatedWork W2805029593 @default.
- W2777173664 hasRelatedWork W2910204069 @default.
- W2777173664 hasRelatedWork W2921423504 @default.
- W2777173664 hasRelatedWork W2953143047 @default.
- W2777173664 hasRelatedWork W2953362020 @default.
- W2777173664 hasRelatedWork W2963790177 @default.
- W2777173664 hasRelatedWork W67718509 @default.
- W2777173664 hasVolume "10" @default.
- W2777173664 isParatext "false" @default.
- W2777173664 isRetracted "false" @default.
- W2777173664 magId "2777173664" @default.
- W2777173664 workType "article" @default.