Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012189654> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2012189654 abstract "Abstract : This thesis explores an automatic method of synthesizing implementations for data types for their algebraic specifications. The inputs to the synthesis procedure consist of a specification for the implemented type, a specification for each of the implementing types, and a formal description of the representation scheme to be used by the implementation. The output of the procedure consists of an implementation for each of the operations of the implemented type in a simple applicative language. The inputs and the output of the synthesis procedure are precisely characterized. A formal basis for the method employed by the procedure is developed. The method is based on the principle of reversing the technique of proving the correctness of an implementation of a data type. The restrictions on the inputs, and the conditions under which the procedure synthesizes an implementation successfully are formally characterized." @default.
- W2012189654 created "2016-06-24" @default.
- W2012189654 creator A5039897432 @default.
- W2012189654 date "1982-06-01" @default.
- W2012189654 modified "2023-09-27" @default.
- W2012189654 title "Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications." @default.
- W2012189654 hasPublicationYear "1982" @default.
- W2012189654 type Work @default.
- W2012189654 sameAs 2012189654 @default.
- W2012189654 citedByCount "2" @default.
- W2012189654 crossrefType "journal-article" @default.
- W2012189654 hasAuthorship W2012189654A5039897432 @default.
- W2012189654 hasConcept C111472728 @default.
- W2012189654 hasConcept C11413529 @default.
- W2012189654 hasConcept C116253237 @default.
- W2012189654 hasConcept C12426560 @default.
- W2012189654 hasConcept C134306372 @default.
- W2012189654 hasConcept C138885662 @default.
- W2012189654 hasConcept C138958017 @default.
- W2012189654 hasConcept C175971053 @default.
- W2012189654 hasConcept C17744445 @default.
- W2012189654 hasConcept C199360897 @default.
- W2012189654 hasConcept C199539241 @default.
- W2012189654 hasConcept C201677973 @default.
- W2012189654 hasConcept C2524010 @default.
- W2012189654 hasConcept C26713055 @default.
- W2012189654 hasConcept C2776359362 @default.
- W2012189654 hasConcept C2777691520 @default.
- W2012189654 hasConcept C2780586882 @default.
- W2012189654 hasConcept C33923547 @default.
- W2012189654 hasConcept C41008148 @default.
- W2012189654 hasConcept C55439883 @default.
- W2012189654 hasConcept C75606506 @default.
- W2012189654 hasConcept C77618280 @default.
- W2012189654 hasConcept C80444323 @default.
- W2012189654 hasConcept C9376300 @default.
- W2012189654 hasConcept C94625758 @default.
- W2012189654 hasConceptScore W2012189654C111472728 @default.
- W2012189654 hasConceptScore W2012189654C11413529 @default.
- W2012189654 hasConceptScore W2012189654C116253237 @default.
- W2012189654 hasConceptScore W2012189654C12426560 @default.
- W2012189654 hasConceptScore W2012189654C134306372 @default.
- W2012189654 hasConceptScore W2012189654C138885662 @default.
- W2012189654 hasConceptScore W2012189654C138958017 @default.
- W2012189654 hasConceptScore W2012189654C175971053 @default.
- W2012189654 hasConceptScore W2012189654C17744445 @default.
- W2012189654 hasConceptScore W2012189654C199360897 @default.
- W2012189654 hasConceptScore W2012189654C199539241 @default.
- W2012189654 hasConceptScore W2012189654C201677973 @default.
- W2012189654 hasConceptScore W2012189654C2524010 @default.
- W2012189654 hasConceptScore W2012189654C26713055 @default.
- W2012189654 hasConceptScore W2012189654C2776359362 @default.
- W2012189654 hasConceptScore W2012189654C2777691520 @default.
- W2012189654 hasConceptScore W2012189654C2780586882 @default.
- W2012189654 hasConceptScore W2012189654C33923547 @default.
- W2012189654 hasConceptScore W2012189654C41008148 @default.
- W2012189654 hasConceptScore W2012189654C55439883 @default.
- W2012189654 hasConceptScore W2012189654C75606506 @default.
- W2012189654 hasConceptScore W2012189654C77618280 @default.
- W2012189654 hasConceptScore W2012189654C80444323 @default.
- W2012189654 hasConceptScore W2012189654C9376300 @default.
- W2012189654 hasConceptScore W2012189654C94625758 @default.
- W2012189654 hasLocation W20121896541 @default.
- W2012189654 hasOpenAccess W2012189654 @default.
- W2012189654 hasPrimaryLocation W20121896541 @default.
- W2012189654 hasRelatedWork W1499114716 @default.
- W2012189654 hasRelatedWork W1556423252 @default.
- W2012189654 hasRelatedWork W1690743885 @default.
- W2012189654 hasRelatedWork W1968386045 @default.
- W2012189654 hasRelatedWork W1979652037 @default.
- W2012189654 hasRelatedWork W1989081651 @default.
- W2012189654 hasRelatedWork W1992371661 @default.
- W2012189654 hasRelatedWork W1995446671 @default.
- W2012189654 hasRelatedWork W2006604283 @default.
- W2012189654 hasRelatedWork W2012360686 @default.
- W2012189654 hasRelatedWork W2037791509 @default.
- W2012189654 hasRelatedWork W2039285682 @default.
- W2012189654 hasRelatedWork W2058098777 @default.
- W2012189654 hasRelatedWork W2078889207 @default.
- W2012189654 hasRelatedWork W2125641118 @default.
- W2012189654 hasRelatedWork W2135213777 @default.
- W2012189654 hasRelatedWork W2137947851 @default.
- W2012189654 hasRelatedWork W2172006877 @default.
- W2012189654 hasRelatedWork W2355104220 @default.
- W2012189654 hasRelatedWork W2952380519 @default.
- W2012189654 isParatext "false" @default.
- W2012189654 isRetracted "false" @default.
- W2012189654 magId "2012189654" @default.
- W2012189654 workType "article" @default.