Matches in SemOpenAlex for { <https://semopenalex.org/work/W48572077> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W48572077 abstract "In this paper we discuss techniques of exploiting the obvious relationship between program structure and data structure for program generation. We develop methods of program specification that are derived from a representation of recursive data structures in the Logic for Computable Functions (LCF). As a step towards a formal problem specification language we define definitional extensions of LCF. These include a calculus for (computable) homogeneous sets and restricted quantification. Concepts that are obtained by interpreting data types as algebras are used to derive function definition schemes from an LCF term representing a data structure; they also lead to techniques for the simplification of expressions in the extended language. The specification methods are illustrated with a detailed example." @default.
- W48572077 created "2016-06-24" @default.
- W48572077 creator A5062815122 @default.
- W48572077 date "1975-09-01" @default.
- W48572077 modified "2023-09-23" @default.
- W48572077 title "On the representation of data structures in LCF with applications to program generation." @default.
- W48572077 hasPublicationYear "1975" @default.
- W48572077 type Work @default.
- W48572077 sameAs 48572077 @default.
- W48572077 citedByCount "0" @default.
- W48572077 crossrefType "journal-article" @default.
- W48572077 hasAuthorship W48572077A5062815122 @default.
- W48572077 hasConcept C11413529 @default.
- W48572077 hasConcept C121332964 @default.
- W48572077 hasConcept C14036430 @default.
- W48572077 hasConcept C162319229 @default.
- W48572077 hasConcept C17744445 @default.
- W48572077 hasConcept C199360897 @default.
- W48572077 hasConcept C199539241 @default.
- W48572077 hasConcept C201677973 @default.
- W48572077 hasConcept C2776359362 @default.
- W48572077 hasConcept C41008148 @default.
- W48572077 hasConcept C61797465 @default.
- W48572077 hasConcept C62520636 @default.
- W48572077 hasConcept C78458016 @default.
- W48572077 hasConcept C80444323 @default.
- W48572077 hasConcept C86803240 @default.
- W48572077 hasConcept C94625758 @default.
- W48572077 hasConcept C98183937 @default.
- W48572077 hasConceptScore W48572077C11413529 @default.
- W48572077 hasConceptScore W48572077C121332964 @default.
- W48572077 hasConceptScore W48572077C14036430 @default.
- W48572077 hasConceptScore W48572077C162319229 @default.
- W48572077 hasConceptScore W48572077C17744445 @default.
- W48572077 hasConceptScore W48572077C199360897 @default.
- W48572077 hasConceptScore W48572077C199539241 @default.
- W48572077 hasConceptScore W48572077C201677973 @default.
- W48572077 hasConceptScore W48572077C2776359362 @default.
- W48572077 hasConceptScore W48572077C41008148 @default.
- W48572077 hasConceptScore W48572077C61797465 @default.
- W48572077 hasConceptScore W48572077C62520636 @default.
- W48572077 hasConceptScore W48572077C78458016 @default.
- W48572077 hasConceptScore W48572077C80444323 @default.
- W48572077 hasConceptScore W48572077C86803240 @default.
- W48572077 hasConceptScore W48572077C94625758 @default.
- W48572077 hasConceptScore W48572077C98183937 @default.
- W48572077 hasLocation W485720771 @default.
- W48572077 hasOpenAccess W48572077 @default.
- W48572077 hasPrimaryLocation W485720771 @default.
- W48572077 hasRelatedWork W1488732148 @default.
- W48572077 hasRelatedWork W1491415820 @default.
- W48572077 hasRelatedWork W1602039209 @default.
- W48572077 hasRelatedWork W1688429783 @default.
- W48572077 hasRelatedWork W1811327378 @default.
- W48572077 hasRelatedWork W1827253390 @default.
- W48572077 hasRelatedWork W1968131662 @default.
- W48572077 hasRelatedWork W1995840473 @default.
- W48572077 hasRelatedWork W2101254143 @default.
- W48572077 hasRelatedWork W2125689415 @default.
- W48572077 hasRelatedWork W2138319635 @default.
- W48572077 hasRelatedWork W2140892158 @default.
- W48572077 hasRelatedWork W2188437266 @default.
- W48572077 hasRelatedWork W2261156885 @default.
- W48572077 hasRelatedWork W263780245 @default.
- W48572077 hasRelatedWork W3131265037 @default.
- W48572077 hasRelatedWork W622167379 @default.
- W48572077 hasRelatedWork W652485094 @default.
- W48572077 hasRelatedWork W1790835888 @default.
- W48572077 hasRelatedWork W332295136 @default.
- W48572077 isParatext "false" @default.
- W48572077 isRetracted "false" @default.
- W48572077 magId "48572077" @default.
- W48572077 workType "article" @default.