Matches in SemOpenAlex for { <https://semopenalex.org/work/W127491551> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W127491551 abstract "We are developing Kopitiam, a tool to interactively prove full functional correctness of Java programs using separation logic by interacting with the interactive theorem prover Coq. Kopitiam is an Eclipse plugin, enabling seamless integration into the workflow of a developer. Kopitiam enables a user to develop proofs side-by-side with Java programs in Eclipse." @default.
- W127491551 created "2016-06-24" @default.
- W127491551 creator A5022642911 @default.
- W127491551 date "2011-01-01" @default.
- W127491551 modified "2023-09-25" @default.
- W127491551 title "Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code" @default.
- W127491551 cites W1532097571 @default.
- W127491551 cites W1560971300 @default.
- W127491551 cites W1573154295 @default.
- W127491551 cites W1964830323 @default.
- W127491551 cites W2050576837 @default.
- W127491551 cites W2053154567 @default.
- W127491551 cites W2129671708 @default.
- W127491551 cites W2130427425 @default.
- W127491551 cites W2142947709 @default.
- W127491551 cites W2155113119 @default.
- W127491551 cites W2169309022 @default.
- W127491551 doi "https://doi.org/10.1007/978-3-642-20398-5_42" @default.
- W127491551 hasPublicationYear "2011" @default.
- W127491551 type Work @default.
- W127491551 sameAs 127491551 @default.
- W127491551 citedByCount "7" @default.
- W127491551 countsByYear W1274915512012 @default.
- W127491551 countsByYear W1274915512013 @default.
- W127491551 countsByYear W1274915512016 @default.
- W127491551 crossrefType "book-chapter" @default.
- W127491551 hasAuthorship W127491551A5022642911 @default.
- W127491551 hasConcept C101468663 @default.
- W127491551 hasConcept C108710211 @default.
- W127491551 hasConcept C109701466 @default.
- W127491551 hasConcept C121332964 @default.
- W127491551 hasConcept C1276947 @default.
- W127491551 hasConcept C132106392 @default.
- W127491551 hasConcept C159718280 @default.
- W127491551 hasConcept C168702491 @default.
- W127491551 hasConcept C172482141 @default.
- W127491551 hasConcept C177212765 @default.
- W127491551 hasConcept C199360897 @default.
- W127491551 hasConcept C206880738 @default.
- W127491551 hasConcept C2524010 @default.
- W127491551 hasConcept C2778505590 @default.
- W127491551 hasConcept C33923547 @default.
- W127491551 hasConcept C41008148 @default.
- W127491551 hasConcept C4924752 @default.
- W127491551 hasConcept C548217200 @default.
- W127491551 hasConcept C55439883 @default.
- W127491551 hasConcept C60945770 @default.
- W127491551 hasConcept C77088390 @default.
- W127491551 hasConceptScore W127491551C101468663 @default.
- W127491551 hasConceptScore W127491551C108710211 @default.
- W127491551 hasConceptScore W127491551C109701466 @default.
- W127491551 hasConceptScore W127491551C121332964 @default.
- W127491551 hasConceptScore W127491551C1276947 @default.
- W127491551 hasConceptScore W127491551C132106392 @default.
- W127491551 hasConceptScore W127491551C159718280 @default.
- W127491551 hasConceptScore W127491551C168702491 @default.
- W127491551 hasConceptScore W127491551C172482141 @default.
- W127491551 hasConceptScore W127491551C177212765 @default.
- W127491551 hasConceptScore W127491551C199360897 @default.
- W127491551 hasConceptScore W127491551C206880738 @default.
- W127491551 hasConceptScore W127491551C2524010 @default.
- W127491551 hasConceptScore W127491551C2778505590 @default.
- W127491551 hasConceptScore W127491551C33923547 @default.
- W127491551 hasConceptScore W127491551C41008148 @default.
- W127491551 hasConceptScore W127491551C4924752 @default.
- W127491551 hasConceptScore W127491551C548217200 @default.
- W127491551 hasConceptScore W127491551C55439883 @default.
- W127491551 hasConceptScore W127491551C60945770 @default.
- W127491551 hasConceptScore W127491551C77088390 @default.
- W127491551 hasLocation W1274915511 @default.
- W127491551 hasOpenAccess W127491551 @default.
- W127491551 hasPrimaryLocation W1274915511 @default.
- W127491551 hasRelatedWork W1516985231 @default.
- W127491551 hasRelatedWork W1524123945 @default.
- W127491551 hasRelatedWork W1668251704 @default.
- W127491551 hasRelatedWork W1739770529 @default.
- W127491551 hasRelatedWork W1996228525 @default.
- W127491551 hasRelatedWork W2016969992 @default.
- W127491551 hasRelatedWork W2027234239 @default.
- W127491551 hasRelatedWork W2068737373 @default.
- W127491551 hasRelatedWork W2071012666 @default.
- W127491551 hasRelatedWork W2117534212 @default.
- W127491551 hasRelatedWork W2143963275 @default.
- W127491551 hasRelatedWork W2145595740 @default.
- W127491551 hasRelatedWork W2164810907 @default.
- W127491551 hasRelatedWork W2177796957 @default.
- W127491551 hasRelatedWork W246379881 @default.
- W127491551 hasRelatedWork W2790469097 @default.
- W127491551 hasRelatedWork W2803369237 @default.
- W127491551 hasRelatedWork W2906793984 @default.
- W127491551 hasRelatedWork W3121650164 @default.
- W127491551 hasRelatedWork W3175485889 @default.
- W127491551 isParatext "false" @default.
- W127491551 isRetracted "false" @default.
- W127491551 magId "127491551" @default.
- W127491551 workType "book-chapter" @default.