Implementing functional logic languages using multiple threads and stores
No abstract available.
Related papers
- Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems ESOP 2020
- Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning ECOOP 2024
- Constraint-Based Monitoring of Hyperproperties TACAS 2019
- Parallel nondeterministic programming as a language extension to C (short paper) GPCE 2019
- Call by Name, Assignment, and the Lambda Calculus POPL 1993
- Rubah: DSU for Java on a stock JVM OOPSLA 2014
- Dynamic Profiling and Trace Cache Generation CGO 2003
- Lazy Functional State Threads PLDI 1994