Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement.
Amin TimanySimon Oddershede GregersenLéo StefanescoJonas Kastberg HinrichsenLéon GondelmanAbel NietoLars BirkedalPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- higher order
- higher order logic
- high order
- natural images
- lambda calculus
- cooperative
- pairwise
- logic programming
- distributed environment
- concurrent execution
- distributed systems
- neural network
- computer networks
- modal logic
- low order
- conditional random fields
- peer to peer
- automated reasoning
- lower order
- distributed network
- markov random field
- lightweight
- computing environments
- multi valued
- heterogeneous environments
- multi agent