Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100554104> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W3100554104 endingPage "217" @default.
- W3100554104 startingPage "199" @default.
- W3100554104 abstract "In this feasibility study we discuss reasoning about the correctness of Java interfaces using histories, with a particular application to Java’s Collection interface. We introduce a new specification method (in the KeY theorem prover) using histories, that record method invocations including their parameters and return value, on an interface. We outline the challenges of proving client code correct with respect to arbitrary implementations, and describe a practical specification and verification effort of part of the Collection interface using KeY (including source and video material)." @default.
- W3100554104 created "2020-11-23" @default.
- W3100554104 creator A5016838809 @default.
- W3100554104 creator A5021852579 @default.
- W3100554104 creator A5058708865 @default.
- W3100554104 creator A5058794403 @default.
- W3100554104 date "2020-01-01" @default.
- W3100554104 modified "2023-09-30" @default.
- W3100554104 title "History-Based Specification and Verification of Java Collections in KeY" @default.
- W3100554104 cites W1510270421 @default.
- W3100554104 cites W1807498156 @default.
- W3100554104 cites W1964830323 @default.
- W3100554104 cites W1994496817 @default.
- W3100554104 cites W2070675148 @default.
- W3100554104 cites W2115051564 @default.
- W3100554104 cites W2117339543 @default.
- W3100554104 cites W2131664385 @default.
- W3100554104 cites W2134056477 @default.
- W3100554104 cites W2565255124 @default.
- W3100554104 cites W2566012199 @default.
- W3100554104 cites W2606444700 @default.
- W3100554104 cites W2751853904 @default.
- W3100554104 cites W3009942802 @default.
- W3100554104 cites W3011395855 @default.
- W3100554104 cites W3101735739 @default.
- W3100554104 cites W4230726766 @default.
- W3100554104 doi "https://doi.org/10.1007/978-3-030-63461-2_11" @default.
- W3100554104 hasPublicationYear "2020" @default.
- W3100554104 type Work @default.
- W3100554104 sameAs 3100554104 @default.
- W3100554104 citedByCount "5" @default.
- W3100554104 countsByYear W31005541042021 @default.
- W3100554104 countsByYear W31005541042022 @default.
- W3100554104 countsByYear W31005541042023 @default.
- W3100554104 crossrefType "book-chapter" @default.
- W3100554104 hasAuthorship W3100554104A5016838809 @default.
- W3100554104 hasAuthorship W3100554104A5021852579 @default.
- W3100554104 hasAuthorship W3100554104A5058708865 @default.
- W3100554104 hasAuthorship W3100554104A5058794403 @default.
- W3100554104 hasBestOaLocation W31005541042 @default.
- W3100554104 hasConcept C108710211 @default.
- W3100554104 hasConcept C109701466 @default.
- W3100554104 hasConcept C111919701 @default.
- W3100554104 hasConcept C113843644 @default.
- W3100554104 hasConcept C129307140 @default.
- W3100554104 hasConcept C132106392 @default.
- W3100554104 hasConcept C157915830 @default.
- W3100554104 hasConcept C159718280 @default.
- W3100554104 hasConcept C168702491 @default.
- W3100554104 hasConcept C172482141 @default.
- W3100554104 hasConcept C199360897 @default.
- W3100554104 hasConcept C206880738 @default.
- W3100554104 hasConcept C2524010 @default.
- W3100554104 hasConcept C26517878 @default.
- W3100554104 hasConcept C26713055 @default.
- W3100554104 hasConcept C33923547 @default.
- W3100554104 hasConcept C41008148 @default.
- W3100554104 hasConcept C548217200 @default.
- W3100554104 hasConcept C55439883 @default.
- W3100554104 hasConcept C60945770 @default.
- W3100554104 hasConceptScore W3100554104C108710211 @default.
- W3100554104 hasConceptScore W3100554104C109701466 @default.
- W3100554104 hasConceptScore W3100554104C111919701 @default.
- W3100554104 hasConceptScore W3100554104C113843644 @default.
- W3100554104 hasConceptScore W3100554104C129307140 @default.
- W3100554104 hasConceptScore W3100554104C132106392 @default.
- W3100554104 hasConceptScore W3100554104C157915830 @default.
- W3100554104 hasConceptScore W3100554104C159718280 @default.
- W3100554104 hasConceptScore W3100554104C168702491 @default.
- W3100554104 hasConceptScore W3100554104C172482141 @default.
- W3100554104 hasConceptScore W3100554104C199360897 @default.
- W3100554104 hasConceptScore W3100554104C206880738 @default.
- W3100554104 hasConceptScore W3100554104C2524010 @default.
- W3100554104 hasConceptScore W3100554104C26517878 @default.
- W3100554104 hasConceptScore W3100554104C26713055 @default.
- W3100554104 hasConceptScore W3100554104C33923547 @default.
- W3100554104 hasConceptScore W3100554104C41008148 @default.
- W3100554104 hasConceptScore W3100554104C548217200 @default.
- W3100554104 hasConceptScore W3100554104C55439883 @default.
- W3100554104 hasConceptScore W3100554104C60945770 @default.
- W3100554104 hasLocation W31005541041 @default.
- W3100554104 hasLocation W31005541042 @default.
- W3100554104 hasOpenAccess W3100554104 @default.
- W3100554104 hasPrimaryLocation W31005541041 @default.
- W3100554104 hasRelatedWork W127491551 @default.
- W3100554104 hasRelatedWork W1825982205 @default.
- W3100554104 hasRelatedWork W2027234239 @default.
- W3100554104 hasRelatedWork W2166770913 @default.
- W3100554104 hasRelatedWork W2168441850 @default.
- W3100554104 hasRelatedWork W2541866089 @default.
- W3100554104 hasRelatedWork W2547095320 @default.
- W3100554104 hasRelatedWork W3000560506 @default.
- W3100554104 hasRelatedWork W3100554104 @default.
- W3100554104 hasRelatedWork W321450354 @default.
- W3100554104 isParatext "false" @default.
- W3100554104 isRetracted "false" @default.
- W3100554104 magId "3100554104" @default.
- W3100554104 workType "book-chapter" @default.