Visible Type Application
Abstract elided by the publisher.
Related papers
- Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence PPoPP 2023
- ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States TOPLAS 2019
- Verifying Visibility-Based Weak Consistency ESOP 2020
- On the Runtime Complexity of Type-Directed Unboxing ICFP 1998
- Symbolic Visibly Pushdown Automata CAV 2014
- Relaxed Visibility Enhances Partial Order Reduction CAV 1997
- Secure Programming via Visibly Pushdown Safety Games CAV 2012
- ActorSpaces: An Open Distributed Programming Paradigm PPoPP 1993