Matches in SemOpenAlex for { <https://semopenalex.org/work/W2063048696> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2063048696 abstract "Dynamic invariant detection, the automatic recovery of partial program specifications by inferring likely constraints from program executions, has been successful in the context of procedural programs. The implementation for dynamic invariant detection examines only the declared type of a variable, lacking many details in the context of object-oriented programs. This paper shows how this technique can be extended to detect invariants of object-oriented programs in the presence of polymorphism by examining the runtime type of a polymorphic variable, which may have different declared and runtime types. We demonstrate the improved accuracy of the dynamically detected specification on two real-world examples: the Money example from the JUnit testing framework tutorial, and a database query engine model example, which we adopted from a commercial database application. Polymorphic constraints in both cases are shown to reveal the specification of the runtime behavior of the systems." @default.
- W2063048696 created "2016-06-24" @default.
- W2063048696 creator A5003250585 @default.
- W2063048696 creator A5016380052 @default.
- W2063048696 date "2006-10-22" @default.
- W2063048696 modified "2023-09-23" @default.
- W2063048696 title "Dynamic constraint detection for polymorphic behavior" @default.
- W2063048696 cites W2223115626 @default.
- W2063048696 doi "https://doi.org/10.1145/1176617.1176659" @default.
- W2063048696 hasPublicationYear "2006" @default.
- W2063048696 type Work @default.
- W2063048696 sameAs 2063048696 @default.
- W2063048696 citedByCount "1" @default.
- W2063048696 crossrefType "proceedings-article" @default.
- W2063048696 hasAuthorship W2063048696A5003250585 @default.
- W2063048696 hasAuthorship W2063048696A5016380052 @default.
- W2063048696 hasConcept C121332964 @default.
- W2063048696 hasConcept C127413603 @default.
- W2063048696 hasConcept C134306372 @default.
- W2063048696 hasConcept C151730666 @default.
- W2063048696 hasConcept C182365436 @default.
- W2063048696 hasConcept C190470478 @default.
- W2063048696 hasConcept C199360897 @default.
- W2063048696 hasConcept C2776036281 @default.
- W2063048696 hasConcept C2779343474 @default.
- W2063048696 hasConcept C33923547 @default.
- W2063048696 hasConcept C37914503 @default.
- W2063048696 hasConcept C41008148 @default.
- W2063048696 hasConcept C73752529 @default.
- W2063048696 hasConcept C78519656 @default.
- W2063048696 hasConcept C80444323 @default.
- W2063048696 hasConcept C86803240 @default.
- W2063048696 hasConceptScore W2063048696C121332964 @default.
- W2063048696 hasConceptScore W2063048696C127413603 @default.
- W2063048696 hasConceptScore W2063048696C134306372 @default.
- W2063048696 hasConceptScore W2063048696C151730666 @default.
- W2063048696 hasConceptScore W2063048696C182365436 @default.
- W2063048696 hasConceptScore W2063048696C190470478 @default.
- W2063048696 hasConceptScore W2063048696C199360897 @default.
- W2063048696 hasConceptScore W2063048696C2776036281 @default.
- W2063048696 hasConceptScore W2063048696C2779343474 @default.
- W2063048696 hasConceptScore W2063048696C33923547 @default.
- W2063048696 hasConceptScore W2063048696C37914503 @default.
- W2063048696 hasConceptScore W2063048696C41008148 @default.
- W2063048696 hasConceptScore W2063048696C73752529 @default.
- W2063048696 hasConceptScore W2063048696C78519656 @default.
- W2063048696 hasConceptScore W2063048696C80444323 @default.
- W2063048696 hasConceptScore W2063048696C86803240 @default.
- W2063048696 hasLocation W20630486961 @default.
- W2063048696 hasOpenAccess W2063048696 @default.
- W2063048696 hasPrimaryLocation W20630486961 @default.
- W2063048696 hasRelatedWork W1512248002 @default.
- W2063048696 hasRelatedWork W1554764448 @default.
- W2063048696 hasRelatedWork W2118300983 @default.
- W2063048696 hasRelatedWork W2171794906 @default.
- W2063048696 hasRelatedWork W2348181611 @default.
- W2063048696 hasRelatedWork W3110420271 @default.
- W2063048696 hasRelatedWork W3161927982 @default.
- W2063048696 hasRelatedWork W1482645738 @default.
- W2063048696 hasRelatedWork W2474495446 @default.
- W2063048696 hasRelatedWork W2528467228 @default.
- W2063048696 isParatext "false" @default.
- W2063048696 isRetracted "false" @default.
- W2063048696 magId "2063048696" @default.
- W2063048696 workType "article" @default.