Matches in SemOpenAlex for { <https://semopenalex.org/work/W2145426968> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2145426968 endingPage "728" @default.
- W2145426968 startingPage "713" @default.
- W2145426968 abstract "We define a predicate-transformer semantics for an object oriented language that includes specification constructs from refinement calculi. The language includes recursive classes, visibility control, dynamic binding, and recursive methods. Using the semantics, we formulate notions of refinement. Such results are a first step toward a refinement calculus." @default.
- W2145426968 created "2016-06-24" @default.
- W2145426968 creator A5009739199 @default.
- W2145426968 creator A5073408099 @default.
- W2145426968 date "2000-01-01" @default.
- W2145426968 modified "2023-09-24" @default.
- W2145426968 title "A weakest precondition semantics for refinement of object-oriented programs" @default.
- W2145426968 cites W1482299161 @default.
- W2145426968 cites W1527062704 @default.
- W2145426968 cites W1544633123 @default.
- W2145426968 cites W1577885475 @default.
- W2145426968 cites W1600863532 @default.
- W2145426968 cites W1945350451 @default.
- W2145426968 cites W1995008247 @default.
- W2145426968 cites W1997753121 @default.
- W2145426968 cites W1999582424 @default.
- W2145426968 cites W2013149850 @default.
- W2145426968 cites W2024764276 @default.
- W2145426968 cites W2039330009 @default.
- W2145426968 cites W2074923340 @default.
- W2145426968 cites W2098243945 @default.
- W2145426968 cites W2124873137 @default.
- W2145426968 cites W2131890917 @default.
- W2145426968 cites W2132644164 @default.
- W2145426968 cites W2147543351 @default.
- W2145426968 cites W2159609157 @default.
- W2145426968 cites W2160973401 @default.
- W2145426968 cites W4241527637 @default.
- W2145426968 cites W4241804335 @default.
- W2145426968 cites W4253748132 @default.
- W2145426968 cites W2133130611 @default.
- W2145426968 doi "https://doi.org/10.1109/32.879810" @default.
- W2145426968 hasPublicationYear "2000" @default.
- W2145426968 type Work @default.
- W2145426968 sameAs 2145426968 @default.
- W2145426968 citedByCount "42" @default.
- W2145426968 countsByYear W21454269682012 @default.
- W2145426968 countsByYear W21454269682013 @default.
- W2145426968 countsByYear W21454269682019 @default.
- W2145426968 crossrefType "journal-article" @default.
- W2145426968 hasAuthorship W2145426968A5009739199 @default.
- W2145426968 hasAuthorship W2145426968A5073408099 @default.
- W2145426968 hasConcept C11413529 @default.
- W2145426968 hasConcept C140146324 @default.
- W2145426968 hasConcept C14331664 @default.
- W2145426968 hasConcept C156325763 @default.
- W2145426968 hasConcept C184337299 @default.
- W2145426968 hasConcept C192465680 @default.
- W2145426968 hasConcept C199360897 @default.
- W2145426968 hasConcept C201677973 @default.
- W2145426968 hasConcept C30128091 @default.
- W2145426968 hasConcept C41008148 @default.
- W2145426968 hasConcept C73752529 @default.
- W2145426968 hasConcept C80444323 @default.
- W2145426968 hasConcept C90483712 @default.
- W2145426968 hasConceptScore W2145426968C11413529 @default.
- W2145426968 hasConceptScore W2145426968C140146324 @default.
- W2145426968 hasConceptScore W2145426968C14331664 @default.
- W2145426968 hasConceptScore W2145426968C156325763 @default.
- W2145426968 hasConceptScore W2145426968C184337299 @default.
- W2145426968 hasConceptScore W2145426968C192465680 @default.
- W2145426968 hasConceptScore W2145426968C199360897 @default.
- W2145426968 hasConceptScore W2145426968C201677973 @default.
- W2145426968 hasConceptScore W2145426968C30128091 @default.
- W2145426968 hasConceptScore W2145426968C41008148 @default.
- W2145426968 hasConceptScore W2145426968C73752529 @default.
- W2145426968 hasConceptScore W2145426968C80444323 @default.
- W2145426968 hasConceptScore W2145426968C90483712 @default.
- W2145426968 hasIssue "8" @default.
- W2145426968 hasLocation W21454269681 @default.
- W2145426968 hasOpenAccess W2145426968 @default.
- W2145426968 hasPrimaryLocation W21454269681 @default.
- W2145426968 hasRelatedWork W1482532369 @default.
- W2145426968 hasRelatedWork W1539823645 @default.
- W2145426968 hasRelatedWork W1560196376 @default.
- W2145426968 hasRelatedWork W1586408198 @default.
- W2145426968 hasRelatedWork W2050115485 @default.
- W2145426968 hasRelatedWork W2054383207 @default.
- W2145426968 hasRelatedWork W2145426968 @default.
- W2145426968 hasRelatedWork W2156223462 @default.
- W2145426968 hasRelatedWork W2322322215 @default.
- W2145426968 hasRelatedWork W2534991041 @default.
- W2145426968 hasVolume "26" @default.
- W2145426968 isParatext "false" @default.
- W2145426968 isRetracted "false" @default.
- W2145426968 magId "2145426968" @default.
- W2145426968 workType "article" @default.