FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3209583808> ?p ?o ?g. }

• W3209583808 endingPage "195" @default.
• W3209583808 startingPage "178" @default.
• W3209583808 abstract "Abstract We present a bounded equivalence verification technique for higher-order programs with local state. This technique combines fully abstract symbolic environmental bisimulations similar to symbolic game semantics, novel up-to techniques , and lightweight state invariant annotations . This yields an equivalence verification technique with no false positives or negatives. The technique is bounded-complete, in that all inequivalences are automatically detected given large enough bounds. Moreover, several hard equivalences are proved automatically or after being annotated with state invariants. We realise the technique in a tool prototype called Hobbit and benchmark it with an extensive set of new and existing examples. Hobbit can prove many classical equivalences including all Meyer and Sieber examples." @default.
• W3209583808 created "2021-11-08" @default.
• W3209583808 creator A5012184818 @default.
• W3209583808 creator A5041266426 @default.
• W3209583808 creator A5056217023 @default.
• W3209583808 date "2022-01-01" @default.
• W3209583808 modified "2023-09-26" @default.
• W3209583808 title "From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques" @default.
• W3209583808 cites W1480909796 @default.
• W3209583808 cites W1545038039 @default.
• W3209583808 cites W1580157489 @default.
• W3209583808 cites W1655777796 @default.
• W3209583808 cites W2005403834 @default.
• W3209583808 cites W2039222548 @default.
• W3209583808 cites W2067871120 @default.
• W3209583808 cites W2100559921 @default.
• W3209583808 cites W2108978217 @default.
• W3209583808 cites W2124580491 @default.
• W3209583808 cites W2125379835 @default.
• W3209583808 cites W2126431612 @default.
• W3209583808 cites W2129538349 @default.
• W3209583808 cites W2138947594 @default.
• W3209583808 cites W2144562508 @default.
• W3209583808 cites W2152787740 @default.
• W3209583808 cites W2290178294 @default.
• W3209583808 cites W2293092623 @default.
• W3209583808 cites W2487055703 @default.
• W3209583808 cites W2530227870 @default.
• W3209583808 cites W2913717796 @default.
• W3209583808 cites W2927607934 @default.
• W3209583808 cites W2964672981 @default.
• W3209583808 cites W2992113395 @default.
• W3209583808 cites W4231640108 @default.
• W3209583808 cites W4239690658 @default.
• W3209583808 cites W4249168174 @default.
• W3209583808 doi "https://doi.org/10.1007/978-3-030-99527-0_10" @default.
• W3209583808 hasPublicationYear "2022" @default.
• W3209583808 type Work @default.
• W3209583808 sameAs 3209583808 @default.
• W3209583808 citedByCount "1" @default.
• W3209583808 countsByYear W32095838082023 @default.
• W3209583808 crossrefType "book-chapter" @default.
• W3209583808 hasAuthorship W3209583808A5012184818 @default.
• W3209583808 hasAuthorship W3209583808A5041266426 @default.
• W3209583808 hasAuthorship W3209583808A5056217023 @default.
• W3209583808 hasBestOaLocation W32095838081 @default.
• W3209583808 hasConcept C110251889 @default.
• W3209583808 hasConcept C111498074 @default.
• W3209583808 hasConcept C11413529 @default.
• W3209583808 hasConcept C118615104 @default.
• W3209583808 hasConcept C13280743 @default.
• W3209583808 hasConcept C134306372 @default.
• W3209583808 hasConcept C154945302 @default.
• W3209583808 hasConcept C185798385 @default.
• W3209583808 hasConcept C190470478 @default.
• W3209583808 hasConcept C199360897 @default.
• W3209583808 hasConcept C205649164 @default.
• W3209583808 hasConcept C23123167 @default.
• W3209583808 hasConcept C2777904410 @default.
• W3209583808 hasConcept C2779639559 @default.
• W3209583808 hasConcept C2780069185 @default.
• W3209583808 hasConcept C33923547 @default.
• W3209583808 hasConcept C34388435 @default.
• W3209583808 hasConcept C37914503 @default.
• W3209583808 hasConcept C41008148 @default.
• W3209583808 hasConcept C64869954 @default.
• W3209583808 hasConcept C80444323 @default.
• W3209583808 hasConcept C96654402 @default.
• W3209583808 hasConceptScore W3209583808C110251889 @default.
• W3209583808 hasConceptScore W3209583808C111498074 @default.
• W3209583808 hasConceptScore W3209583808C11413529 @default.
• W3209583808 hasConceptScore W3209583808C118615104 @default.
• W3209583808 hasConceptScore W3209583808C13280743 @default.
• W3209583808 hasConceptScore W3209583808C134306372 @default.
• W3209583808 hasConceptScore W3209583808C154945302 @default.
• W3209583808 hasConceptScore W3209583808C185798385 @default.
• W3209583808 hasConceptScore W3209583808C190470478 @default.
• W3209583808 hasConceptScore W3209583808C199360897 @default.
• W3209583808 hasConceptScore W3209583808C205649164 @default.
• W3209583808 hasConceptScore W3209583808C23123167 @default.
• W3209583808 hasConceptScore W3209583808C2777904410 @default.
• W3209583808 hasConceptScore W3209583808C2779639559 @default.
• W3209583808 hasConceptScore W3209583808C2780069185 @default.
• W3209583808 hasConceptScore W3209583808C33923547 @default.
• W3209583808 hasConceptScore W3209583808C34388435 @default.
• W3209583808 hasConceptScore W3209583808C37914503 @default.
• W3209583808 hasConceptScore W3209583808C41008148 @default.
• W3209583808 hasConceptScore W3209583808C64869954 @default.
• W3209583808 hasConceptScore W3209583808C80444323 @default.
• W3209583808 hasConceptScore W3209583808C96654402 @default.
• W3209583808 hasLocation W32095838081 @default.
• W3209583808 hasLocation W32095838082 @default.
• W3209583808 hasLocation W32095838083 @default.
• W3209583808 hasLocation W32095838084 @default.
• W3209583808 hasOpenAccess W3209583808 @default.
• W3209583808 hasPrimaryLocation W32095838081 @default.
• W3209583808 hasRelatedWork W113732979 @default.
• W3209583808 hasRelatedWork W1520389894 @default.

• next