Matches in SemOpenAlex for { <https://semopenalex.org/work/W5276023> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W5276023 endingPage "178" @default.
- W5276023 startingPage "161" @default.
- W5276023 abstract "This chapter presents a process for transformation from object-oriented programs to order-sorted algebraic specifications, which can be used for proving that an object-oriented program is a correct implementation of an algebraic specification. The object-oriented language has essential object-oriented features such as polymorphism and inheritance, and the specification language is an order-sorted one, while a typed object-oriented language without inheritance and an ordinary many sorted algebraic specification language are used in other researches such as Hennicker and Schmitz. The chapter gives a process for transformation from object-oriented programs to algebraic specifications, formalize the concept of observational implementation, and present a method for proving that the algebraic specification obtained by the transformation is an observational implementation of an algebraic specification. This chapter introduces polymorphism and class inheritance into the framework of Hennicker and Schmitz, and proposes a new transformation. This transformation process first uses the type inference algorithm proposed by Ohkubo for untyped object-oriented languages. Then, by regarding the assigned class sets as the sorts, an algebraic specification is constructed from the object-oriented program, where order- sortedness is used in connection with polymorphism. The chapter overviews the framework of Hennicker and Schmitz and the type inference of the object-oriented language and then discusses the relationship between the algebraic semantics of TinyObject given in this chapter and the operational semantics of TinyObject presented." @default.
- W5276023 created "2016-06-24" @default.
- W5276023 creator A5034176636 @default.
- W5276023 creator A5035179095 @default.
- W5276023 creator A5081697871 @default.
- W5276023 date "2000-01-01" @default.
- W5276023 modified "2023-09-26" @default.
- W5276023 title "On Extracting Algebraic Specifications from Untyped Object-Oriented Programs" @default.
- W5276023 cites W1508756608 @default.
- W5276023 cites W1608683946 @default.
- W5276023 cites W2030096232 @default.
- W5276023 doi "https://doi.org/10.1016/b978-044450556-9/50068-x" @default.
- W5276023 hasPublicationYear "2000" @default.
- W5276023 type Work @default.
- W5276023 sameAs 5276023 @default.
- W5276023 citedByCount "0" @default.
- W5276023 crossrefType "book-chapter" @default.
- W5276023 hasAuthorship W5276023A5034176636 @default.
- W5276023 hasAuthorship W5276023A5035179095 @default.
- W5276023 hasAuthorship W5276023A5081697871 @default.
- W5276023 hasConcept C104317684 @default.
- W5276023 hasConcept C134306372 @default.
- W5276023 hasConcept C184337299 @default.
- W5276023 hasConcept C185592680 @default.
- W5276023 hasConcept C199360897 @default.
- W5276023 hasConcept C201677973 @default.
- W5276023 hasConcept C2777691520 @default.
- W5276023 hasConcept C2778361913 @default.
- W5276023 hasConcept C2779729104 @default.
- W5276023 hasConcept C2780902518 @default.
- W5276023 hasConcept C33923547 @default.
- W5276023 hasConcept C41008148 @default.
- W5276023 hasConcept C55493867 @default.
- W5276023 hasConcept C73752529 @default.
- W5276023 hasConcept C80444323 @default.
- W5276023 hasConcept C90069079 @default.
- W5276023 hasConcept C9376300 @default.
- W5276023 hasConceptScore W5276023C104317684 @default.
- W5276023 hasConceptScore W5276023C134306372 @default.
- W5276023 hasConceptScore W5276023C184337299 @default.
- W5276023 hasConceptScore W5276023C185592680 @default.
- W5276023 hasConceptScore W5276023C199360897 @default.
- W5276023 hasConceptScore W5276023C201677973 @default.
- W5276023 hasConceptScore W5276023C2777691520 @default.
- W5276023 hasConceptScore W5276023C2778361913 @default.
- W5276023 hasConceptScore W5276023C2779729104 @default.
- W5276023 hasConceptScore W5276023C2780902518 @default.
- W5276023 hasConceptScore W5276023C33923547 @default.
- W5276023 hasConceptScore W5276023C41008148 @default.
- W5276023 hasConceptScore W5276023C55493867 @default.
- W5276023 hasConceptScore W5276023C73752529 @default.
- W5276023 hasConceptScore W5276023C80444323 @default.
- W5276023 hasConceptScore W5276023C90069079 @default.
- W5276023 hasConceptScore W5276023C9376300 @default.
- W5276023 hasLocation W52760231 @default.
- W5276023 hasOpenAccess W5276023 @default.
- W5276023 hasPrimaryLocation W52760231 @default.
- W5276023 hasRelatedWork W107898559 @default.
- W5276023 hasRelatedWork W1513140821 @default.
- W5276023 hasRelatedWork W1563875108 @default.
- W5276023 hasRelatedWork W1584364979 @default.
- W5276023 hasRelatedWork W1585256267 @default.
- W5276023 hasRelatedWork W1588871418 @default.
- W5276023 hasRelatedWork W2002067075 @default.
- W5276023 hasRelatedWork W2020116537 @default.
- W5276023 hasRelatedWork W2026649631 @default.
- W5276023 hasRelatedWork W5276023 @default.
- W5276023 isParatext "false" @default.
- W5276023 isRetracted "false" @default.
- W5276023 magId "5276023" @default.
- W5276023 workType "book-chapter" @default.