Matches in SemOpenAlex for { <https://semopenalex.org/work/W2068271285> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2068271285 endingPage "372" @default.
- W2068271285 startingPage "355" @default.
- W2068271285 abstract "The present paper discusses a method of program construction based on the specification of the data types. The input and output data types and the mapping between them are specified at a high level of abstraction and this non-procedural specification is used to develop a program schema. The data type and mapping specifications are modified to include a concrete representation of the data and these are used to expand the program schema into a program. A graphical representation for data and program specifications is also introduced and it is shown how this can simplify the techniques and be very useful in program construction. The method is illustrated by developing two programs—the line justifier program described by Gries and the bubblesort." @default.
- W2068271285 created "2016-06-24" @default.
- W2068271285 creator A5021306015 @default.
- W2068271285 creator A5048528936 @default.
- W2068271285 creator A5064191149 @default.
- W2068271285 creator A5064885591 @default.
- W2068271285 date "1980-05-01" @default.
- W2068271285 modified "2023-09-27" @default.
- W2068271285 title "A data-directed approach to program construction" @default.
- W2068271285 cites W2035886688 @default.
- W2068271285 doi "https://doi.org/10.1002/spe.4380100504" @default.
- W2068271285 hasPublicationYear "1980" @default.
- W2068271285 type Work @default.
- W2068271285 sameAs 2068271285 @default.
- W2068271285 citedByCount "4" @default.
- W2068271285 crossrefType "journal-article" @default.
- W2068271285 hasAuthorship W2068271285A5021306015 @default.
- W2068271285 hasAuthorship W2068271285A5048528936 @default.
- W2068271285 hasAuthorship W2068271285A5064191149 @default.
- W2068271285 hasAuthorship W2068271285A5064885591 @default.
- W2068271285 hasConcept C111472728 @default.
- W2068271285 hasConcept C115903868 @default.
- W2068271285 hasConcept C124304363 @default.
- W2068271285 hasConcept C138885662 @default.
- W2068271285 hasConcept C138958017 @default.
- W2068271285 hasConcept C162319229 @default.
- W2068271285 hasConcept C175971053 @default.
- W2068271285 hasConcept C199360897 @default.
- W2068271285 hasConcept C23123220 @default.
- W2068271285 hasConcept C2776937632 @default.
- W2068271285 hasConcept C2777362769 @default.
- W2068271285 hasConcept C41008148 @default.
- W2068271285 hasConcept C52146309 @default.
- W2068271285 hasConcept C98183937 @default.
- W2068271285 hasConceptScore W2068271285C111472728 @default.
- W2068271285 hasConceptScore W2068271285C115903868 @default.
- W2068271285 hasConceptScore W2068271285C124304363 @default.
- W2068271285 hasConceptScore W2068271285C138885662 @default.
- W2068271285 hasConceptScore W2068271285C138958017 @default.
- W2068271285 hasConceptScore W2068271285C162319229 @default.
- W2068271285 hasConceptScore W2068271285C175971053 @default.
- W2068271285 hasConceptScore W2068271285C199360897 @default.
- W2068271285 hasConceptScore W2068271285C23123220 @default.
- W2068271285 hasConceptScore W2068271285C2776937632 @default.
- W2068271285 hasConceptScore W2068271285C2777362769 @default.
- W2068271285 hasConceptScore W2068271285C41008148 @default.
- W2068271285 hasConceptScore W2068271285C52146309 @default.
- W2068271285 hasConceptScore W2068271285C98183937 @default.
- W2068271285 hasIssue "5" @default.
- W2068271285 hasLocation W20682712851 @default.
- W2068271285 hasOpenAccess W2068271285 @default.
- W2068271285 hasPrimaryLocation W20682712851 @default.
- W2068271285 hasRelatedWork W1504651774 @default.
- W2068271285 hasRelatedWork W1992184515 @default.
- W2068271285 hasRelatedWork W2005803685 @default.
- W2068271285 hasRelatedWork W2048936559 @default.
- W2068271285 hasRelatedWork W2050776543 @default.
- W2068271285 hasRelatedWork W2068012421 @default.
- W2068271285 hasRelatedWork W2093037781 @default.
- W2068271285 hasRelatedWork W2286909144 @default.
- W2068271285 hasRelatedWork W2971609332 @default.
- W2068271285 hasRelatedWork W3026424148 @default.
- W2068271285 hasVolume "10" @default.
- W2068271285 isParatext "false" @default.
- W2068271285 isRetracted "false" @default.
- W2068271285 magId "2068271285" @default.
- W2068271285 workType "article" @default.