Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912567067> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2912567067 abstract "We introduce a framework that generalizes algebraic specifications by equipping algebras with descriptions of evaluation strategies . The resulting abstract mathematical description allows one to model the implementation of algebras on various platforms in a way that is independent of the function-oriented specifications. We study algebras with associated data dependencies. The latter provide separate means for modelling computational aspects apart from the functional specifications captured by an algebra. The formalization of evaluation strategies (1) introduces increased portability among different hardware platforms, and (2) allows a potential increase in execution efficiency, since a chosen evaluation strategy may be tailored to a particular platform. We present the development process where algebraic specifications are equipped with data dependencies, the latter are refined, and, finally, mapped to actual hardware architectures." @default.
- W2912567067 created "2019-02-21" @default.
- W2912567067 creator A5050876495 @default.
- W2912567067 creator A5054435435 @default.
- W2912567067 creator A5057519863 @default.
- W2912567067 date "2001-09-25" @default.
- W2912567067 modified "2023-09-27" @default.
- W2912567067 title "Computation Algebras" @default.
- W2912567067 cites W133968586 @default.
- W2912567067 cites W1487667540 @default.
- W2912567067 cites W1602433733 @default.
- W2912567067 cites W161315898 @default.
- W2912567067 cites W1772549906 @default.
- W2912567067 cites W1998538047 @default.
- W2912567067 cites W2033358909 @default.
- W2912567067 cites W2061171222 @default.
- W2912567067 cites W2086779607 @default.
- W2912567067 cites W2088862781 @default.
- W2912567067 cites W2123546155 @default.
- W2912567067 cites W2126730327 @default.
- W2912567067 cites W2138319635 @default.
- W2912567067 cites W2144344516 @default.
- W2912567067 cites W22089940 @default.
- W2912567067 cites W2286363480 @default.
- W2912567067 cites W47695912 @default.
- W2912567067 doi "https://doi.org/10.1017/s0960129501003292" @default.
- W2912567067 hasPublicationYear "2001" @default.
- W2912567067 type Work @default.
- W2912567067 sameAs 2912567067 @default.
- W2912567067 citedByCount "0" @default.
- W2912567067 crossrefType "journal-article" @default.
- W2912567067 hasAuthorship W2912567067A5050876495 @default.
- W2912567067 hasAuthorship W2912567067A5054435435 @default.
- W2912567067 hasAuthorship W2912567067A5057519863 @default.
- W2912567067 hasConcept C134306372 @default.
- W2912567067 hasConcept C136003732 @default.
- W2912567067 hasConcept C136119220 @default.
- W2912567067 hasConcept C14036430 @default.
- W2912567067 hasConcept C161771561 @default.
- W2912567067 hasConcept C199360897 @default.
- W2912567067 hasConcept C202444582 @default.
- W2912567067 hasConcept C33923547 @default.
- W2912567067 hasConcept C41008148 @default.
- W2912567067 hasConcept C45374587 @default.
- W2912567067 hasConcept C63000827 @default.
- W2912567067 hasConcept C78458016 @default.
- W2912567067 hasConcept C80444323 @default.
- W2912567067 hasConcept C86803240 @default.
- W2912567067 hasConcept C9376300 @default.
- W2912567067 hasConcept C98045186 @default.
- W2912567067 hasConceptScore W2912567067C134306372 @default.
- W2912567067 hasConceptScore W2912567067C136003732 @default.
- W2912567067 hasConceptScore W2912567067C136119220 @default.
- W2912567067 hasConceptScore W2912567067C14036430 @default.
- W2912567067 hasConceptScore W2912567067C161771561 @default.
- W2912567067 hasConceptScore W2912567067C199360897 @default.
- W2912567067 hasConceptScore W2912567067C202444582 @default.
- W2912567067 hasConceptScore W2912567067C33923547 @default.
- W2912567067 hasConceptScore W2912567067C41008148 @default.
- W2912567067 hasConceptScore W2912567067C45374587 @default.
- W2912567067 hasConceptScore W2912567067C63000827 @default.
- W2912567067 hasConceptScore W2912567067C78458016 @default.
- W2912567067 hasConceptScore W2912567067C80444323 @default.
- W2912567067 hasConceptScore W2912567067C86803240 @default.
- W2912567067 hasConceptScore W2912567067C9376300 @default.
- W2912567067 hasConceptScore W2912567067C98045186 @default.
- W2912567067 hasLocation W29125670671 @default.
- W2912567067 hasOpenAccess W2912567067 @default.
- W2912567067 hasPrimaryLocation W29125670671 @default.
- W2912567067 hasRelatedWork W1517384256 @default.
- W2912567067 hasRelatedWork W1551332717 @default.
- W2912567067 hasRelatedWork W1590772079 @default.
- W2912567067 hasRelatedWork W184169646 @default.
- W2912567067 hasRelatedWork W1916836592 @default.
- W2912567067 hasRelatedWork W1941942257 @default.
- W2912567067 hasRelatedWork W2018779008 @default.
- W2912567067 hasRelatedWork W2062949277 @default.
- W2912567067 hasRelatedWork W2118665271 @default.
- W2912567067 hasRelatedWork W2282895087 @default.
- W2912567067 hasRelatedWork W2394934717 @default.
- W2912567067 hasRelatedWork W2563472787 @default.
- W2912567067 hasRelatedWork W2571739046 @default.
- W2912567067 hasRelatedWork W2604670213 @default.
- W2912567067 hasRelatedWork W2890370072 @default.
- W2912567067 hasRelatedWork W2911095790 @default.
- W2912567067 hasRelatedWork W2945121268 @default.
- W2912567067 hasRelatedWork W2970266519 @default.
- W2912567067 hasRelatedWork W3037652577 @default.
- W2912567067 hasRelatedWork W576681776 @default.
- W2912567067 isParatext "false" @default.
- W2912567067 isRetracted "false" @default.
- W2912567067 magId "2912567067" @default.
- W2912567067 workType "article" @default.