PAM: A Process Algebra Manipulator
No abstract available.
Related papers
- PAM: parallel augmented maps PPoPP 2018
- Compilation of dynamic sparse tensor algebra OOPSLA 2022
- PaC-trees: supporting parallel and compressed purely-functional collections PLDI 2022
- Data-Parallel String-Manipulating Programs POPL 2015
- A Smalltalk System for Algebraic Manipulation OOPSLA 1986
- Kleene Algebra with Tests TOPLAS 1997
- Verifying higher-order functional programs with pattern-matching algebraic data types POPL 2011
- Beyond the elementary representations of program invariants over algebraic data types PLDI 2021