Matches in SemOpenAlex for { <https://semopenalex.org/work/W1531569178> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1531569178 endingPage "194" @default.
- W1531569178 startingPage "179" @default.
- W1531569178 abstract "Several tools exist for reasoning about Java programs annotated with JML specifications. A main issue is to deal with possible aliasing between objects and to handle correctly the frame conditions limiting the part of memory that a method is allowed to modify. Tools designed for automatic use (like ESC/Java) are not complete and even not necessarily correct. On the other side, tools which offer a full modeling of the program require a heavy user interaction for discharging proof obligations. In this paper, we present the modeling of Java programs used in the Krakatoa tool, which generates proof obligations expressed in a logic language suitable for both automatic and interactive reasoning. Using the Simplify automatic theorem prover, we are able to establish automatically more properties than static analysis tools, with a method which is guaranteed to be sound, assuming only the correctness of our logical interpretation of programs and specifications." @default.
- W1531569178 created "2016-06-24" @default.
- W1531569178 creator A5024401238 @default.
- W1531569178 creator A5027356527 @default.
- W1531569178 date "2005-01-01" @default.
- W1531569178 modified "2023-10-16" @default.
- W1531569178 title "Reasoning About Java Programs with Aliasing and Frame Conditions" @default.
- W1531569178 cites W1515278398 @default.
- W1531569178 cites W1555397629 @default.
- W1531569178 cites W1815652455 @default.
- W1531569178 cites W1996228525 @default.
- W1531569178 cites W2104506944 @default.
- W1531569178 cites W2110980218 @default.
- W1531569178 cites W2120897738 @default.
- W1531569178 cites W2141236940 @default.
- W1531569178 cites W2151131364 @default.
- W1531569178 cites W2164810907 @default.
- W1531569178 cites W2166985644 @default.
- W1531569178 cites W4254354208 @default.
- W1531569178 doi "https://doi.org/10.1007/11541868_12" @default.
- W1531569178 hasPublicationYear "2005" @default.
- W1531569178 type Work @default.
- W1531569178 sameAs 1531569178 @default.
- W1531569178 citedByCount "13" @default.
- W1531569178 countsByYear W15315691782012 @default.
- W1531569178 countsByYear W15315691782020 @default.
- W1531569178 crossrefType "book-chapter" @default.
- W1531569178 hasAuthorship W1531569178A5024401238 @default.
- W1531569178 hasAuthorship W1531569178A5027356527 @default.
- W1531569178 hasBestOaLocation W15315691782 @default.
- W1531569178 hasConcept C108710211 @default.
- W1531569178 hasConcept C126042441 @default.
- W1531569178 hasConcept C132106392 @default.
- W1531569178 hasConcept C136536468 @default.
- W1531569178 hasConcept C154945302 @default.
- W1531569178 hasConcept C159718280 @default.
- W1531569178 hasConcept C168702491 @default.
- W1531569178 hasConcept C173856430 @default.
- W1531569178 hasConcept C199360897 @default.
- W1531569178 hasConcept C206880738 @default.
- W1531569178 hasConcept C2524010 @default.
- W1531569178 hasConcept C33923547 @default.
- W1531569178 hasConcept C4069607 @default.
- W1531569178 hasConcept C41008148 @default.
- W1531569178 hasConcept C548217200 @default.
- W1531569178 hasConcept C55439883 @default.
- W1531569178 hasConcept C60945770 @default.
- W1531569178 hasConcept C76155785 @default.
- W1531569178 hasConcept C80444323 @default.
- W1531569178 hasConceptScore W1531569178C108710211 @default.
- W1531569178 hasConceptScore W1531569178C126042441 @default.
- W1531569178 hasConceptScore W1531569178C132106392 @default.
- W1531569178 hasConceptScore W1531569178C136536468 @default.
- W1531569178 hasConceptScore W1531569178C154945302 @default.
- W1531569178 hasConceptScore W1531569178C159718280 @default.
- W1531569178 hasConceptScore W1531569178C168702491 @default.
- W1531569178 hasConceptScore W1531569178C173856430 @default.
- W1531569178 hasConceptScore W1531569178C199360897 @default.
- W1531569178 hasConceptScore W1531569178C206880738 @default.
- W1531569178 hasConceptScore W1531569178C2524010 @default.
- W1531569178 hasConceptScore W1531569178C33923547 @default.
- W1531569178 hasConceptScore W1531569178C4069607 @default.
- W1531569178 hasConceptScore W1531569178C41008148 @default.
- W1531569178 hasConceptScore W1531569178C548217200 @default.
- W1531569178 hasConceptScore W1531569178C55439883 @default.
- W1531569178 hasConceptScore W1531569178C60945770 @default.
- W1531569178 hasConceptScore W1531569178C76155785 @default.
- W1531569178 hasConceptScore W1531569178C80444323 @default.
- W1531569178 hasLocation W15315691781 @default.
- W1531569178 hasLocation W15315691782 @default.
- W1531569178 hasLocation W15315691783 @default.
- W1531569178 hasOpenAccess W1531569178 @default.
- W1531569178 hasPrimaryLocation W15315691781 @default.
- W1531569178 hasRelatedWork W1519944186 @default.
- W1531569178 hasRelatedWork W1572758480 @default.
- W1531569178 hasRelatedWork W1974508891 @default.
- W1531569178 hasRelatedWork W2076663662 @default.
- W1531569178 hasRelatedWork W2541866089 @default.
- W1531569178 hasRelatedWork W2547095320 @default.
- W1531569178 hasRelatedWork W3172992491 @default.
- W1531569178 hasRelatedWork W412736943 @default.
- W1531569178 hasRelatedWork W4210979912 @default.
- W1531569178 hasRelatedWork W2186199411 @default.
- W1531569178 isParatext "false" @default.
- W1531569178 isRetracted "false" @default.
- W1531569178 magId "1531569178" @default.
- W1531569178 workType "book-chapter" @default.