Programming with Logical Links
No abstract available.
Related papers
- A Decidable Logic for Describing Linked Data Structures ESOP 1999
- Igloo: soundly linking compositional refinement and separation logic for distributed system verification OOPSLA 2020
- Unification for Subformula Linking under Quantifiers CPP 2024
- Verified Lock-Free Session Channels with Linking OOPSLA 2024
- Full functional verification of linked data structures PLDI 2008
- Verification of semantic commutativity conditions and inverse operations on linked data structures PLDI 2011
- Reasoning about the POSIX file system: local update and global pathnames OOPSLA 2015
- Concurrent Data Structures Linked in Time ECOOP 2017