Actris: session-type based reasoning in separation logic

Keyphrases

• Separation Logic 100%
• Session Types 100%
• Message Passing 100%
• Concurrency Paradigm 100%
• Functional Correctness 50%
• Programming Paradigms 50%
• Levels of Abstraction 50%
• First-in-class 50%
• Coq Proof Assistant 50%
• Mutable State 50%
• Higher-order Functions 50%
• Symbolic Execution 50%
• Real-world Systems 50%
• MapReduce Model 50%
• Mapper 50%
• Distributed Load Balancing 50%
• Shared Memory Concurrency 50%
• Concurrent Programs 50%
• Merge Sort 50%
• Concurrent Separation Logic 50%

Computer Science

• Concurrency 100%
• Message Passing 66%
• Load Balancing 33%
• Soundness 33%
• Order Function 33%
• Map-Reduce 33%
• Symbolic Execution 33%
• Concurrent Program 33%
• Merge-Sort 33%
• Shared Memories 33%