Matches in SemOpenAlex for { <https://semopenalex.org/work/W2048872634> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2048872634 endingPage "858" @default.
- W2048872634 startingPage "847" @default.
- W2048872634 abstract "This paper describes a system for automatically generating an implementation of an abstract data type from its axiomatic specifications. Such a system can be useful for rapid prototyping and for detecting inconsistencies in the specifications by testing the generated implementation. In the generated Implementation, an instance of the data type is represented by its state. An operation on the data type is implemented by a collection of functions — a function for each of the axioms specified for the operation, and a function for the operation that determines, depending on the state of the instance(s) on which the operation is being performed, which of the axioms of the operation is applicable. The system is developed on a Sun-3 workstation running Unix. It is written in C and generates the implementation of the abstract data type in C." @default.
- W2048872634 created "2016-06-24" @default.
- W2048872634 creator A5057154526 @default.
- W2048872634 date "1987-11-01" @default.
- W2048872634 modified "2023-10-17" @default.
- W2048872634 title "Synthesizing implementations of abstract data types from axiomatic specifications" @default.
- W2048872634 cites W2008395018 @default.
- W2048872634 cites W2015874281 @default.
- W2048872634 cites W2018052761 @default.
- W2048872634 cites W2038754076 @default.
- W2048872634 cites W2055629453 @default.
- W2048872634 cites W2057602126 @default.
- W2048872634 cites W2073544767 @default.
- W2048872634 cites W2074864682 @default.
- W2048872634 cites W2096536569 @default.
- W2048872634 cites W2134338128 @default.
- W2048872634 cites W2146998551 @default.
- W2048872634 cites W2148620491 @default.
- W2048872634 cites W2162661340 @default.
- W2048872634 cites W2507006525 @default.
- W2048872634 cites W4239702739 @default.
- W2048872634 doi "https://doi.org/10.1002/spe.4380171106" @default.
- W2048872634 hasPublicationYear "1987" @default.
- W2048872634 type Work @default.
- W2048872634 sameAs 2048872634 @default.
- W2048872634 citedByCount "15" @default.
- W2048872634 countsByYear W20488726342012 @default.
- W2048872634 crossrefType "journal-article" @default.
- W2048872634 hasAuthorship W2048872634A5057154526 @default.
- W2048872634 hasConcept C111919701 @default.
- W2048872634 hasConcept C112968700 @default.
- W2048872634 hasConcept C125773388 @default.
- W2048872634 hasConcept C138958017 @default.
- W2048872634 hasConcept C14036430 @default.
- W2048872634 hasConcept C154945302 @default.
- W2048872634 hasConcept C167729594 @default.
- W2048872634 hasConcept C175971053 @default.
- W2048872634 hasConcept C18903297 @default.
- W2048872634 hasConcept C198370458 @default.
- W2048872634 hasConcept C199360897 @default.
- W2048872634 hasConcept C2524010 @default.
- W2048872634 hasConcept C26713055 @default.
- W2048872634 hasConcept C2776214188 @default.
- W2048872634 hasConcept C2777299769 @default.
- W2048872634 hasConcept C2777904410 @default.
- W2048872634 hasConcept C33923547 @default.
- W2048872634 hasConcept C41008148 @default.
- W2048872634 hasConcept C48103436 @default.
- W2048872634 hasConcept C67953723 @default.
- W2048872634 hasConcept C78458016 @default.
- W2048872634 hasConcept C80444323 @default.
- W2048872634 hasConcept C86803240 @default.
- W2048872634 hasConceptScore W2048872634C111919701 @default.
- W2048872634 hasConceptScore W2048872634C112968700 @default.
- W2048872634 hasConceptScore W2048872634C125773388 @default.
- W2048872634 hasConceptScore W2048872634C138958017 @default.
- W2048872634 hasConceptScore W2048872634C14036430 @default.
- W2048872634 hasConceptScore W2048872634C154945302 @default.
- W2048872634 hasConceptScore W2048872634C167729594 @default.
- W2048872634 hasConceptScore W2048872634C175971053 @default.
- W2048872634 hasConceptScore W2048872634C18903297 @default.
- W2048872634 hasConceptScore W2048872634C198370458 @default.
- W2048872634 hasConceptScore W2048872634C199360897 @default.
- W2048872634 hasConceptScore W2048872634C2524010 @default.
- W2048872634 hasConceptScore W2048872634C26713055 @default.
- W2048872634 hasConceptScore W2048872634C2776214188 @default.
- W2048872634 hasConceptScore W2048872634C2777299769 @default.
- W2048872634 hasConceptScore W2048872634C2777904410 @default.
- W2048872634 hasConceptScore W2048872634C33923547 @default.
- W2048872634 hasConceptScore W2048872634C41008148 @default.
- W2048872634 hasConceptScore W2048872634C48103436 @default.
- W2048872634 hasConceptScore W2048872634C67953723 @default.
- W2048872634 hasConceptScore W2048872634C78458016 @default.
- W2048872634 hasConceptScore W2048872634C80444323 @default.
- W2048872634 hasConceptScore W2048872634C86803240 @default.
- W2048872634 hasIssue "11" @default.
- W2048872634 hasLocation W20488726341 @default.
- W2048872634 hasOpenAccess W2048872634 @default.
- W2048872634 hasPrimaryLocation W20488726341 @default.
- W2048872634 hasRelatedWork W1480879962 @default.
- W2048872634 hasRelatedWork W1550049051 @default.
- W2048872634 hasRelatedWork W1984757784 @default.
- W2048872634 hasRelatedWork W2112150205 @default.
- W2048872634 hasRelatedWork W2139102157 @default.
- W2048872634 hasRelatedWork W2151275061 @default.
- W2048872634 hasRelatedWork W2763815264 @default.
- W2048872634 hasRelatedWork W3132862870 @default.
- W2048872634 hasRelatedWork W36159884 @default.
- W2048872634 hasRelatedWork W4237270226 @default.
- W2048872634 hasVolume "17" @default.
- W2048872634 isParatext "false" @default.
- W2048872634 isRetracted "false" @default.
- W2048872634 magId "2048872634" @default.
- W2048872634 workType "article" @default.