Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103146382> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2103146382 abstract "SUMMARYReal-time and safety-critical code could benefit from the use of design patterns and frameworks that rely on subtyping and dynamic dispatch. However, modular reasoning about programs that use subtypes requires that each overriding method obeys the specifications of all methods that it overrides. For example, if method scale is specified in a supertype Vector2d to take at most 42 ns to execute, then an override of scale cannot take more than 42 ns to execute in any subtype, such as Vector3d. The problem is that subtype objects typically contain more information, such as the z coordinate in Vector3d, and thus their methods often require more time to execute than the methods they override. In this paper, we show how to specify timing constraints for subtypes in a way that both allows overriding subtype methods to have more time to execute and yet permits precise modular verification and checking of timing constraints. Our techniques allow object-oriented coding and design patterns based on subtype polymorphism to be used in real-time and safety-critical software. Copyright © 2012 John Wiley & Sons, Ltd." @default.
- W2103146382 created "2016-06-24" @default.
- W2103146382 creator A5014066009 @default.
- W2103146382 creator A5036784739 @default.
- W2103146382 date "2012-10-04" @default.
- W2103146382 modified "2023-10-17" @default.
- W2103146382 title "Specifying subtypes in Safety Critical Java programs" @default.
- W2103146382 cites W1525929190 @default.
- W2103146382 cites W1964830323 @default.
- W2103146382 cites W1971587456 @default.
- W2103146382 cites W1995008247 @default.
- W2103146382 cites W2023893693 @default.
- W2103146382 cites W2055095027 @default.
- W2103146382 cites W2064849992 @default.
- W2103146382 cites W2067306975 @default.
- W2103146382 cites W2089757303 @default.
- W2103146382 cites W2094160561 @default.
- W2103146382 cites W2099412761 @default.
- W2103146382 cites W2104626020 @default.
- W2103146382 cites W2113061194 @default.
- W2103146382 cites W2139555094 @default.
- W2103146382 cites W2141479704 @default.
- W2103146382 cites W2169753096 @default.
- W2103146382 cites W48939354 @default.
- W2103146382 doi "https://doi.org/10.1002/cpe.2930" @default.
- W2103146382 hasPublicationYear "2012" @default.
- W2103146382 type Work @default.
- W2103146382 sameAs 2103146382 @default.
- W2103146382 citedByCount "4" @default.
- W2103146382 countsByYear W21031463822013 @default.
- W2103146382 countsByYear W21031463822014 @default.
- W2103146382 countsByYear W21031463822017 @default.
- W2103146382 countsByYear W21031463822022 @default.
- W2103146382 crossrefType "journal-article" @default.
- W2103146382 hasAuthorship W2103146382A5014066009 @default.
- W2103146382 hasAuthorship W2103146382A5036784739 @default.
- W2103146382 hasConcept C101468663 @default.
- W2103146382 hasConcept C105795698 @default.
- W2103146382 hasConcept C110251889 @default.
- W2103146382 hasConcept C115903868 @default.
- W2103146382 hasConcept C120314980 @default.
- W2103146382 hasConcept C179518139 @default.
- W2103146382 hasConcept C199360897 @default.
- W2103146382 hasConcept C33923547 @default.
- W2103146382 hasConcept C41008148 @default.
- W2103146382 hasConcept C548217200 @default.
- W2103146382 hasConcept C83852419 @default.
- W2103146382 hasConceptScore W2103146382C101468663 @default.
- W2103146382 hasConceptScore W2103146382C105795698 @default.
- W2103146382 hasConceptScore W2103146382C110251889 @default.
- W2103146382 hasConceptScore W2103146382C115903868 @default.
- W2103146382 hasConceptScore W2103146382C120314980 @default.
- W2103146382 hasConceptScore W2103146382C179518139 @default.
- W2103146382 hasConceptScore W2103146382C199360897 @default.
- W2103146382 hasConceptScore W2103146382C33923547 @default.
- W2103146382 hasConceptScore W2103146382C41008148 @default.
- W2103146382 hasConceptScore W2103146382C548217200 @default.
- W2103146382 hasConceptScore W2103146382C83852419 @default.
- W2103146382 hasLocation W21031463821 @default.
- W2103146382 hasOpenAccess W2103146382 @default.
- W2103146382 hasPrimaryLocation W21031463821 @default.
- W2103146382 hasRelatedWork W1507029499 @default.
- W2103146382 hasRelatedWork W1590951149 @default.
- W2103146382 hasRelatedWork W1739770529 @default.
- W2103146382 hasRelatedWork W1932714653 @default.
- W2103146382 hasRelatedWork W2008801889 @default.
- W2103146382 hasRelatedWork W2029003002 @default.
- W2103146382 hasRelatedWork W2034794234 @default.
- W2103146382 hasRelatedWork W2040318030 @default.
- W2103146382 hasRelatedWork W2066980498 @default.
- W2103146382 hasRelatedWork W2090962365 @default.
- W2103146382 hasRelatedWork W2118629387 @default.
- W2103146382 hasRelatedWork W2145899516 @default.
- W2103146382 hasRelatedWork W2189591006 @default.
- W2103146382 hasRelatedWork W2395809552 @default.
- W2103146382 hasRelatedWork W2740338871 @default.
- W2103146382 hasRelatedWork W2747266849 @default.
- W2103146382 hasRelatedWork W2794077850 @default.
- W2103146382 hasRelatedWork W3022059417 @default.
- W2103146382 hasRelatedWork W3104596203 @default.
- W2103146382 hasRelatedWork W3169000564 @default.
- W2103146382 isParatext "false" @default.
- W2103146382 isRetracted "false" @default.
- W2103146382 magId "2103146382" @default.
- W2103146382 workType "article" @default.