Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912841296> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2912841296 abstract "We propose a calling convention for capability machines with local capabilities. The calling convention ensures local-state encapsulation and well-bracketed control flow. We use the calling convention in a hand-full of program examples and prove that they behave correctly. The correctness proofs use a logical relation that is also presented in this appendix. This is the technical appendix for the paper with the same name and authors accepted at ESOP18 and under review for TOPLAS." @default.
- W2912841296 created "2019-02-21" @default.
- W2912841296 creator A5011654888 @default.
- W2912841296 creator A5039623738 @default.
- W2912841296 creator A5055959064 @default.
- W2912841296 date "2019-02-14" @default.
- W2912841296 modified "2023-09-23" @default.
- W2912841296 title "Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details." @default.
- W2912841296 cites W1904738922 @default.
- W2912841296 cites W2030299533 @default.
- W2912841296 cites W2091779700 @default.
- W2912841296 cites W2153128836 @default.
- W2912841296 cites W2162598060 @default.
- W2912841296 cites W2171482413 @default.
- W2912841296 hasPublicationYear "2019" @default.
- W2912841296 type Work @default.
- W2912841296 sameAs 2912841296 @default.
- W2912841296 citedByCount "0" @default.
- W2912841296 crossrefType "posted-content" @default.
- W2912841296 hasAuthorship W2912841296A5011654888 @default.
- W2912841296 hasAuthorship W2912841296A5039623738 @default.
- W2912841296 hasAuthorship W2912841296A5055959064 @default.
- W2912841296 hasConcept C108710211 @default.
- W2912841296 hasConcept C150202949 @default.
- W2912841296 hasConcept C154945302 @default.
- W2912841296 hasConcept C160191386 @default.
- W2912841296 hasConcept C173856430 @default.
- W2912841296 hasConcept C17744445 @default.
- W2912841296 hasConcept C199360897 @default.
- W2912841296 hasConcept C199539241 @default.
- W2912841296 hasConcept C2524010 @default.
- W2912841296 hasConcept C2780608745 @default.
- W2912841296 hasConcept C33923547 @default.
- W2912841296 hasConcept C38652104 @default.
- W2912841296 hasConcept C41008148 @default.
- W2912841296 hasConcept C55439883 @default.
- W2912841296 hasConcept C80444323 @default.
- W2912841296 hasConcept C81147070 @default.
- W2912841296 hasConceptScore W2912841296C108710211 @default.
- W2912841296 hasConceptScore W2912841296C150202949 @default.
- W2912841296 hasConceptScore W2912841296C154945302 @default.
- W2912841296 hasConceptScore W2912841296C160191386 @default.
- W2912841296 hasConceptScore W2912841296C173856430 @default.
- W2912841296 hasConceptScore W2912841296C17744445 @default.
- W2912841296 hasConceptScore W2912841296C199360897 @default.
- W2912841296 hasConceptScore W2912841296C199539241 @default.
- W2912841296 hasConceptScore W2912841296C2524010 @default.
- W2912841296 hasConceptScore W2912841296C2780608745 @default.
- W2912841296 hasConceptScore W2912841296C33923547 @default.
- W2912841296 hasConceptScore W2912841296C38652104 @default.
- W2912841296 hasConceptScore W2912841296C41008148 @default.
- W2912841296 hasConceptScore W2912841296C55439883 @default.
- W2912841296 hasConceptScore W2912841296C80444323 @default.
- W2912841296 hasConceptScore W2912841296C81147070 @default.
- W2912841296 hasOpenAccess W2912841296 @default.
- W2912841296 hasRelatedWork W1494663138 @default.
- W2912841296 hasRelatedWork W1510959904 @default.
- W2912841296 hasRelatedWork W1539888858 @default.
- W2912841296 hasRelatedWork W167115775 @default.
- W2912841296 hasRelatedWork W2003553652 @default.
- W2912841296 hasRelatedWork W2004165456 @default.
- W2912841296 hasRelatedWork W2038275022 @default.
- W2912841296 hasRelatedWork W2103433304 @default.
- W2912841296 hasRelatedWork W2155334493 @default.
- W2912841296 hasRelatedWork W2156801838 @default.
- W2912841296 hasRelatedWork W2195852518 @default.
- W2912841296 hasRelatedWork W2230345113 @default.
- W2912841296 hasRelatedWork W2329798890 @default.
- W2912841296 hasRelatedWork W2441478892 @default.
- W2912841296 hasRelatedWork W2891436053 @default.
- W2912841296 hasRelatedWork W2912001071 @default.
- W2912841296 hasRelatedWork W2975110407 @default.
- W2912841296 hasRelatedWork W3046194387 @default.
- W2912841296 hasRelatedWork W658676727 @default.
- W2912841296 hasRelatedWork W787793384 @default.
- W2912841296 isParatext "false" @default.
- W2912841296 isRetracted "false" @default.
- W2912841296 magId "2912841296" @default.
- W2912841296 workType "article" @default.