Program Sliding
No abstract available.
Related papers
- Using Compositional Preorders in the Verification of Sliding Window Protocal CAV 1997
- Sliding Window Abstraction for Infinite Markov Chains CAV 2009
- Verification and Improvement of the Sliding Window Protocol TACAS 2003
- MOA - A Fast Sliding Compaction Scheme for a Large Storage Space ISMM 1995
- Slideshow: functional presentations JFP 2006
- Animated Pictures for Slide Presentations: From the Shallows to the Depths of a Domain-Specific Language (Functional Pearl) ICFP 2026
- An on-the-fly mark and sweep garbage collector based on sliding views OOPSLA 2003
- A Stepwise Refinement Heuristic for Protocol Construction TOPLAS 1992