Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970116714> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1970116714 endingPage "895" @default.
- W1970116714 startingPage "876" @default.
- W1970116714 abstract "An implementation of an algebraic specification in an imperative programming language consists of a representation type, together with an invariant and an equivalence relation over it, and a procedure for each operator in the specification. A formal technique is developed to check the correctness of an implementation with respect to its specification. Here “correctness” means that the implementation satisfies the axioms and preserves the behavior of the specification. Within legal representing value space, a correct implementation behaves like a desirable model of the specification. A notion of implementation refinement is also proposed, and it is shown that the correctness relation between implementations and specifications is preserved by implementation refinement. In the extreme case the procedures in an implementation may be pre-post-condition pairs. Such abstract implementations can be refined into executable code by refining the abstract procedures in it. In this way a formal link between the algebraic and the pre- post-condition specification techniques is established." @default.
- W1970116714 created "2016-06-24" @default.
- W1970116714 creator A5022485210 @default.
- W1970116714 date "1993-11-01" @default.
- W1970116714 modified "2023-09-26" @default.
- W1970116714 title "Procedural implementation of algebraic specification" @default.
- W1970116714 cites W1966748830 @default.
- W1970116714 cites W1983608286 @default.
- W1970116714 cites W1999659898 @default.
- W1970116714 cites W2011444209 @default.
- W1970116714 cites W2013492611 @default.
- W1970116714 cites W2051800122 @default.
- W1970116714 cites W2055364993 @default.
- W1970116714 cites W3023216518 @default.
- W1970116714 doi "https://doi.org/10.1145/161468.161473" @default.
- W1970116714 hasPublicationYear "1993" @default.
- W1970116714 type Work @default.
- W1970116714 sameAs 1970116714 @default.
- W1970116714 citedByCount "7" @default.
- W1970116714 crossrefType "journal-article" @default.
- W1970116714 hasAuthorship W1970116714A5022485210 @default.
- W1970116714 hasBestOaLocation W19701167141 @default.
- W1970116714 hasConcept C116253237 @default.
- W1970116714 hasConcept C160145156 @default.
- W1970116714 hasConcept C167729594 @default.
- W1970116714 hasConcept C199360897 @default.
- W1970116714 hasConcept C2524010 @default.
- W1970116714 hasConcept C26713055 @default.
- W1970116714 hasConcept C2777691520 @default.
- W1970116714 hasConcept C33923547 @default.
- W1970116714 hasConcept C41008148 @default.
- W1970116714 hasConcept C55439883 @default.
- W1970116714 hasConcept C75606506 @default.
- W1970116714 hasConcept C80444323 @default.
- W1970116714 hasConceptScore W1970116714C116253237 @default.
- W1970116714 hasConceptScore W1970116714C160145156 @default.
- W1970116714 hasConceptScore W1970116714C167729594 @default.
- W1970116714 hasConceptScore W1970116714C199360897 @default.
- W1970116714 hasConceptScore W1970116714C2524010 @default.
- W1970116714 hasConceptScore W1970116714C26713055 @default.
- W1970116714 hasConceptScore W1970116714C2777691520 @default.
- W1970116714 hasConceptScore W1970116714C33923547 @default.
- W1970116714 hasConceptScore W1970116714C41008148 @default.
- W1970116714 hasConceptScore W1970116714C55439883 @default.
- W1970116714 hasConceptScore W1970116714C75606506 @default.
- W1970116714 hasConceptScore W1970116714C80444323 @default.
- W1970116714 hasIssue "5" @default.
- W1970116714 hasLocation W19701167141 @default.
- W1970116714 hasOpenAccess W1970116714 @default.
- W1970116714 hasPrimaryLocation W19701167141 @default.
- W1970116714 hasRelatedWork W1563875108 @default.
- W1970116714 hasRelatedWork W1970116714 @default.
- W1970116714 hasRelatedWork W199125670 @default.
- W1970116714 hasRelatedWork W2034184259 @default.
- W1970116714 hasRelatedWork W2051386633 @default.
- W1970116714 hasRelatedWork W2107518865 @default.
- W1970116714 hasRelatedWork W2124474978 @default.
- W1970116714 hasRelatedWork W2157716537 @default.
- W1970116714 hasRelatedWork W2559332729 @default.
- W1970116714 hasRelatedWork W2732937731 @default.
- W1970116714 hasVolume "15" @default.
- W1970116714 isParatext "false" @default.
- W1970116714 isRetracted "false" @default.
- W1970116714 magId "1970116714" @default.
- W1970116714 workType "article" @default.