Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490677> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1490677 abstract "Abstract data types provide some of the conceptual tools which are needed to manage the complexity of software development, and produce cost-effective and reliable software through successive levels of abstraction. To be fully effective, data abstraction must be supported by language constructs and automated tools.The objectives of the research presented in this dissertation were to construct an environment with the capabilities of specification and automatic implementation of abstract data types. A specification language to express abstract data types was designed, and an automatic synthesis system that generates implementations from abstract specifications was designed and implemented. The transformation of abstract data type specifications into executable code raises issues of efficiency of the synthesis system and the code generated by such a process. The complexity analysis of the synthesis system algorithms shows that the critical algorithms of the system are generally linear. The efficiency of the code generated by the synthesis system was addressed through data structure and algorithm selection. The selection process relies on cost measures to suggest an implementation that minimizes the total cost.Evaluation of the specification language, the synthesis system, and the automatically-generated implementations was undertaken to assess the benefits of this effort, and its role as a software tool for specification, prototyping, and validation." @default.
- W1490677 created "2016-06-24" @default.
- W1490677 creator A5088248176 @default.
- W1490677 date "1983-01-01" @default.
- W1490677 modified "2023-09-23" @default.
- W1490677 title "Automatic synthesis of abstract data type implementations from abstract specifications" @default.
- W1490677 hasPublicationYear "1983" @default.
- W1490677 type Work @default.
- W1490677 sameAs 1490677 @default.
- W1490677 citedByCount "3" @default.
- W1490677 crossrefType "journal-article" @default.
- W1490677 hasAuthorship W1490677A5088248176 @default.
- W1490677 hasConcept C102780508 @default.
- W1490677 hasConcept C111472728 @default.
- W1490677 hasConcept C115903868 @default.
- W1490677 hasConcept C116253237 @default.
- W1490677 hasConcept C124304363 @default.
- W1490677 hasConcept C138885662 @default.
- W1490677 hasConcept C138958017 @default.
- W1490677 hasConcept C149091818 @default.
- W1490677 hasConcept C160145156 @default.
- W1490677 hasConcept C186846655 @default.
- W1490677 hasConcept C199360897 @default.
- W1490677 hasConcept C201677973 @default.
- W1490677 hasConcept C26713055 @default.
- W1490677 hasConcept C2777904410 @default.
- W1490677 hasConcept C41008148 @default.
- W1490677 hasConcept C98045186 @default.
- W1490677 hasConceptScore W1490677C102780508 @default.
- W1490677 hasConceptScore W1490677C111472728 @default.
- W1490677 hasConceptScore W1490677C115903868 @default.
- W1490677 hasConceptScore W1490677C116253237 @default.
- W1490677 hasConceptScore W1490677C124304363 @default.
- W1490677 hasConceptScore W1490677C138885662 @default.
- W1490677 hasConceptScore W1490677C138958017 @default.
- W1490677 hasConceptScore W1490677C149091818 @default.
- W1490677 hasConceptScore W1490677C160145156 @default.
- W1490677 hasConceptScore W1490677C186846655 @default.
- W1490677 hasConceptScore W1490677C199360897 @default.
- W1490677 hasConceptScore W1490677C201677973 @default.
- W1490677 hasConceptScore W1490677C26713055 @default.
- W1490677 hasConceptScore W1490677C2777904410 @default.
- W1490677 hasConceptScore W1490677C41008148 @default.
- W1490677 hasConceptScore W1490677C98045186 @default.
- W1490677 hasLocation W14906771 @default.
- W1490677 hasOpenAccess W1490677 @default.
- W1490677 hasPrimaryLocation W14906771 @default.
- W1490677 hasRelatedWork W120109520 @default.
- W1490677 hasRelatedWork W14164684 @default.
- W1490677 hasRelatedWork W1510858002 @default.
- W1490677 hasRelatedWork W1543012390 @default.
- W1490677 hasRelatedWork W1543448158 @default.
- W1490677 hasRelatedWork W1562123897 @default.
- W1490677 hasRelatedWork W1990054376 @default.
- W1490677 hasRelatedWork W2045257588 @default.
- W1490677 hasRelatedWork W2055146545 @default.
- W1490677 hasRelatedWork W2086030604 @default.
- W1490677 hasRelatedWork W2101531624 @default.
- W1490677 hasRelatedWork W2110913429 @default.
- W1490677 hasRelatedWork W2111829293 @default.
- W1490677 hasRelatedWork W2258731633 @default.
- W1490677 hasRelatedWork W2289989886 @default.
- W1490677 hasRelatedWork W2336882285 @default.
- W1490677 hasRelatedWork W2419663129 @default.
- W1490677 hasRelatedWork W2752870552 @default.
- W1490677 hasRelatedWork W304881923 @default.
- W1490677 hasRelatedWork W3199149012 @default.
- W1490677 isParatext "false" @default.
- W1490677 isRetracted "false" @default.
- W1490677 magId "1490677" @default.
- W1490677 workType "article" @default.