Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079984562> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2079984562 abstract "Computational reflection allows a program to inspect and manipulate the structure or behaviour of itself at runtime. Often this means that it is possible to create more generic or adaptable programs in an elegant way. However, there is little support for specification and automatic verification of reflective programs. We address this problem by implementing, specifying, and verifying a reflective library using a Hoare-logic for a simple language with stored procedures. The latter is important since reflective metadata is modelled on the heap, thus method objects will be realised as stored procedures. We verify memory safety as well as functional correctness of an instance of the reflective visitor pattern, including the reflective library. The entire verification is carried out in our (semi-)automatic verification tool Crowfoot." @default.
- W2079984562 created "2016-06-24" @default.
- W2079984562 creator A5002649980 @default.
- W2079984562 creator A5018059594 @default.
- W2079984562 creator A5089509441 @default.
- W2079984562 date "2012-06-12" @default.
- W2079984562 modified "2023-10-16" @default.
- W2079984562 title "Verifying the reflective visitor pattern" @default.
- W2079984562 cites W1562865234 @default.
- W2079984562 cites W1595972517 @default.
- W2079984562 cites W174943245 @default.
- W2079984562 cites W1993836075 @default.
- W2079984562 cites W2050576837 @default.
- W2079984562 cites W2053154567 @default.
- W2079984562 cites W2069722858 @default.
- W2079984562 cites W2753815327 @default.
- W2079984562 doi "https://doi.org/10.1145/2318202.2318208" @default.
- W2079984562 hasPublicationYear "2012" @default.
- W2079984562 type Work @default.
- W2079984562 sameAs 2079984562 @default.
- W2079984562 citedByCount "3" @default.
- W2079984562 countsByYear W20799845622013 @default.
- W2079984562 countsByYear W20799845622014 @default.
- W2079984562 crossrefType "proceedings-article" @default.
- W2079984562 hasAuthorship W2079984562A5002649980 @default.
- W2079984562 hasAuthorship W2079984562A5018059594 @default.
- W2079984562 hasAuthorship W2079984562A5089509441 @default.
- W2079984562 hasConcept C115903868 @default.
- W2079984562 hasConcept C134757568 @default.
- W2079984562 hasConcept C173856430 @default.
- W2079984562 hasConcept C199360897 @default.
- W2079984562 hasConcept C41008148 @default.
- W2079984562 hasConcept C48947383 @default.
- W2079984562 hasConcept C55439883 @default.
- W2079984562 hasConcept C65682993 @default.
- W2079984562 hasConceptScore W2079984562C115903868 @default.
- W2079984562 hasConceptScore W2079984562C134757568 @default.
- W2079984562 hasConceptScore W2079984562C173856430 @default.
- W2079984562 hasConceptScore W2079984562C199360897 @default.
- W2079984562 hasConceptScore W2079984562C41008148 @default.
- W2079984562 hasConceptScore W2079984562C48947383 @default.
- W2079984562 hasConceptScore W2079984562C55439883 @default.
- W2079984562 hasConceptScore W2079984562C65682993 @default.
- W2079984562 hasFunder F4320334627 @default.
- W2079984562 hasLocation W20799845621 @default.
- W2079984562 hasOpenAccess W2079984562 @default.
- W2079984562 hasPrimaryLocation W20799845621 @default.
- W2079984562 hasRelatedWork W131099291 @default.
- W2079984562 hasRelatedWork W1486287063 @default.
- W2079984562 hasRelatedWork W1985198438 @default.
- W2079984562 hasRelatedWork W2581223864 @default.
- W2079984562 hasRelatedWork W2962148629 @default.
- W2079984562 hasRelatedWork W3117665530 @default.
- W2079984562 hasRelatedWork W3196111424 @default.
- W2079984562 hasRelatedWork W4238823939 @default.
- W2079984562 hasRelatedWork W4302940624 @default.
- W2079984562 hasRelatedWork W56863910 @default.
- W2079984562 isParatext "false" @default.
- W2079984562 isRetracted "false" @default.
- W2079984562 magId "2079984562" @default.
- W2079984562 workType "article" @default.