Matches in SemOpenAlex for { <https://semopenalex.org/work/W1945350451> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1945350451 endingPage "696" @default.
- W1945350451 startingPage "682" @default.
- W1945350451 abstract "We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in objects. It is much like a type system for objects with subtyping, but our specifications go further than types in detailing pre- and postconditions. We intend the logic as an analogue of Hoare logic for object-oriented programs. Our main technical result is a soundness theorem that relates the logic to a standard operational semantics." @default.
- W1945350451 created "2016-06-24" @default.
- W1945350451 creator A5061767913 @default.
- W1945350451 creator A5077941255 @default.
- W1945350451 date "1997-01-01" @default.
- W1945350451 modified "2023-10-03" @default.
- W1945350451 title "A logic of object-oriented programs" @default.
- W1945350451 cites W1544633123 @default.
- W1945350451 cites W1815958522 @default.
- W1945350451 cites W1964727056 @default.
- W1945350451 cites W1971933951 @default.
- W1945350451 cites W1980939032 @default.
- W1945350451 cites W1995008247 @default.
- W1945350451 cites W2005403834 @default.
- W1945350451 cites W2045641460 @default.
- W1945350451 cites W2049803057 @default.
- W1945350451 cites W2106472587 @default.
- W1945350451 cites W2111619838 @default.
- W1945350451 cites W2126374558 @default.
- W1945350451 cites W2130404229 @default.
- W1945350451 cites W2140295918 @default.
- W1945350451 cites W2151156765 @default.
- W1945350451 cites W2224959065 @default.
- W1945350451 cites W2987907651 @default.
- W1945350451 cites W4243130293 @default.
- W1945350451 cites W4251912342 @default.
- W1945350451 cites W48939354 @default.
- W1945350451 doi "https://doi.org/10.1007/bfb0030634" @default.
- W1945350451 hasPublicationYear "1997" @default.
- W1945350451 type Work @default.
- W1945350451 sameAs 1945350451 @default.
- W1945350451 citedByCount "57" @default.
- W1945350451 countsByYear W19453504512013 @default.
- W1945350451 countsByYear W19453504512014 @default.
- W1945350451 countsByYear W19453504512016 @default.
- W1945350451 crossrefType "book-chapter" @default.
- W1945350451 hasAuthorship W1945350451A5061767913 @default.
- W1945350451 hasAuthorship W1945350451A5077941255 @default.
- W1945350451 hasBestOaLocation W19453504511 @default.
- W1945350451 hasConcept C104949639 @default.
- W1945350451 hasConcept C136536468 @default.
- W1945350451 hasConcept C154945302 @default.
- W1945350451 hasConcept C156325763 @default.
- W1945350451 hasConcept C173856430 @default.
- W1945350451 hasConcept C184337299 @default.
- W1945350451 hasConcept C199360897 @default.
- W1945350451 hasConcept C207648694 @default.
- W1945350451 hasConcept C39920170 @default.
- W1945350451 hasConcept C4069607 @default.
- W1945350451 hasConcept C41008148 @default.
- W1945350451 hasConcept C55439883 @default.
- W1945350451 hasConcept C58041814 @default.
- W1945350451 hasConcept C80444323 @default.
- W1945350451 hasConcept C83852419 @default.
- W1945350451 hasConceptScore W1945350451C104949639 @default.
- W1945350451 hasConceptScore W1945350451C136536468 @default.
- W1945350451 hasConceptScore W1945350451C154945302 @default.
- W1945350451 hasConceptScore W1945350451C156325763 @default.
- W1945350451 hasConceptScore W1945350451C173856430 @default.
- W1945350451 hasConceptScore W1945350451C184337299 @default.
- W1945350451 hasConceptScore W1945350451C199360897 @default.
- W1945350451 hasConceptScore W1945350451C207648694 @default.
- W1945350451 hasConceptScore W1945350451C39920170 @default.
- W1945350451 hasConceptScore W1945350451C4069607 @default.
- W1945350451 hasConceptScore W1945350451C41008148 @default.
- W1945350451 hasConceptScore W1945350451C55439883 @default.
- W1945350451 hasConceptScore W1945350451C58041814 @default.
- W1945350451 hasConceptScore W1945350451C80444323 @default.
- W1945350451 hasConceptScore W1945350451C83852419 @default.
- W1945350451 hasLocation W19453504511 @default.
- W1945350451 hasOpenAccess W1945350451 @default.
- W1945350451 hasPrimaryLocation W19453504511 @default.
- W1945350451 hasRelatedWork W135120204 @default.
- W1945350451 hasRelatedWork W1501715400 @default.
- W1945350451 hasRelatedWork W1918806322 @default.
- W1945350451 hasRelatedWork W1945350451 @default.
- W1945350451 hasRelatedWork W2088428089 @default.
- W1945350451 hasRelatedWork W2096553703 @default.
- W1945350451 hasRelatedWork W2297946074 @default.
- W1945350451 hasRelatedWork W2347161843 @default.
- W1945350451 hasRelatedWork W2901281245 @default.
- W1945350451 hasRelatedWork W4297797338 @default.
- W1945350451 isParatext "false" @default.
- W1945350451 isRetracted "false" @default.
- W1945350451 magId "1945350451" @default.
- W1945350451 workType "book-chapter" @default.