Matches in SemOpenAlex for { <https://semopenalex.org/work/W2115280609> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2115280609 abstract "The authors review strategies for designing directly implemented algebraic specifications and discuss code generation. They introduce a small specification language that supports the use of the design strategies and facilitates the perception and understanding of the various components of a specification. They review the binary choice and the recursive reduction strategies that can be employed during the design of an algorithm expressed in the authors' small language. These strategies are the basis for rapid and very reliable abstraction design. The authors propose a family of translation schemes for obtaining executable code in one of several programming languages representative of different models of computations; the code is obtained from algebraic specifications that possess the properties achieved via the proposed design strategies. Key components of a prototypical implementation are outlined. >" @default.
- W2115280609 created "2016-06-24" @default.
- W2115280609 creator A5012915644 @default.
- W2115280609 creator A5042650933 @default.
- W2115280609 creator A5051619172 @default.
- W2115280609 date "2002-12-04" @default.
- W2115280609 modified "2023-09-26" @default.
- W2115280609 title "Specification-based code generation" @default.
- W2115280609 cites W1560895966 @default.
- W2115280609 cites W1598625331 @default.
- W2115280609 cites W1742152742 @default.
- W2115280609 cites W1979101142 @default.
- W2115280609 cites W1979384821 @default.
- W2115280609 cites W1983328110 @default.
- W2115280609 cites W1995925686 @default.
- W2115280609 cites W1997262975 @default.
- W2115280609 cites W2001552098 @default.
- W2115280609 cites W2010315125 @default.
- W2115280609 cites W2015874281 @default.
- W2115280609 cites W2021173362 @default.
- W2115280609 cites W2048872634 @default.
- W2115280609 cites W2063080606 @default.
- W2115280609 cites W2077592849 @default.
- W2115280609 cites W2113547509 @default.
- W2115280609 cites W2150930786 @default.
- W2115280609 cites W2168468191 @default.
- W2115280609 cites W2507006525 @default.
- W2115280609 cites W59731535 @default.
- W2115280609 cites W3202045943 @default.
- W2115280609 doi "https://doi.org/10.1109/hicss.1990.205185" @default.
- W2115280609 hasPublicationYear "2002" @default.
- W2115280609 type Work @default.
- W2115280609 sameAs 2115280609 @default.
- W2115280609 citedByCount "9" @default.
- W2115280609 crossrefType "proceedings-article" @default.
- W2115280609 hasAuthorship W2115280609A5012915644 @default.
- W2115280609 hasAuthorship W2115280609A5042650933 @default.
- W2115280609 hasAuthorship W2115280609A5051619172 @default.
- W2115280609 hasConcept C111472728 @default.
- W2115280609 hasConcept C124304363 @default.
- W2115280609 hasConcept C133162039 @default.
- W2115280609 hasConcept C138885662 @default.
- W2115280609 hasConcept C160145156 @default.
- W2115280609 hasConcept C199360897 @default.
- W2115280609 hasConcept C201677973 @default.
- W2115280609 hasConcept C26517878 @default.
- W2115280609 hasConcept C2777691520 @default.
- W2115280609 hasConcept C2777904410 @default.
- W2115280609 hasConcept C2778971978 @default.
- W2115280609 hasConcept C38652104 @default.
- W2115280609 hasConcept C41008148 @default.
- W2115280609 hasConcept C80444323 @default.
- W2115280609 hasConceptScore W2115280609C111472728 @default.
- W2115280609 hasConceptScore W2115280609C124304363 @default.
- W2115280609 hasConceptScore W2115280609C133162039 @default.
- W2115280609 hasConceptScore W2115280609C138885662 @default.
- W2115280609 hasConceptScore W2115280609C160145156 @default.
- W2115280609 hasConceptScore W2115280609C199360897 @default.
- W2115280609 hasConceptScore W2115280609C201677973 @default.
- W2115280609 hasConceptScore W2115280609C26517878 @default.
- W2115280609 hasConceptScore W2115280609C2777691520 @default.
- W2115280609 hasConceptScore W2115280609C2777904410 @default.
- W2115280609 hasConceptScore W2115280609C2778971978 @default.
- W2115280609 hasConceptScore W2115280609C38652104 @default.
- W2115280609 hasConceptScore W2115280609C41008148 @default.
- W2115280609 hasConceptScore W2115280609C80444323 @default.
- W2115280609 hasLocation W21152806091 @default.
- W2115280609 hasOpenAccess W2115280609 @default.
- W2115280609 hasPrimaryLocation W21152806091 @default.
- W2115280609 hasRelatedWork W1521877753 @default.
- W2115280609 hasRelatedWork W2015874281 @default.
- W2115280609 hasRelatedWork W2021173362 @default.
- W2115280609 hasRelatedWork W2093938715 @default.
- W2115280609 hasRelatedWork W2175419261 @default.
- W2115280609 hasRelatedWork W2183244029 @default.
- W2115280609 hasRelatedWork W2208659590 @default.
- W2115280609 hasRelatedWork W2266628809 @default.
- W2115280609 hasRelatedWork W2399787710 @default.
- W2115280609 hasRelatedWork W2516525253 @default.
- W2115280609 hasRelatedWork W2554214978 @default.
- W2115280609 hasRelatedWork W2901502394 @default.
- W2115280609 hasRelatedWork W2941734750 @default.
- W2115280609 hasRelatedWork W2980615429 @default.
- W2115280609 hasRelatedWork W2998326873 @default.
- W2115280609 hasRelatedWork W324067137 @default.
- W2115280609 hasRelatedWork W594812228 @default.
- W2115280609 hasRelatedWork W937506947 @default.
- W2115280609 hasRelatedWork W1595147638 @default.
- W2115280609 hasRelatedWork W2182594330 @default.
- W2115280609 isParatext "false" @default.
- W2115280609 isRetracted "false" @default.
- W2115280609 magId "2115280609" @default.
- W2115280609 workType "article" @default.