Linearity Analysis of Concurrent Logic Programs
No abstract available.
Related papers
- Linear Logical Relations for Session-Based Concurrency ESOP 2012
- Par means parallel: multiplicative linear logic proofs as concurrent functional programs POPL 2020
- Lolliproc: to concurrency from classical linear logic via curry-howard and control ICFP 2010
- The Session Abstract Machine ESOP 2024
- Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing POPL 2024
- Back to futures JFP 2022
- A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency OOPSLA 2022
- Checking That Finite State Concurrent Programs Satisfy Their Linear Specification POPL 1985