Continuous demonstration
No abstract available.
Related papers
- Compiling with continuations, continued ICFP 2007
- A monadic framework for delimited continuations JFP 2007
- Recycling Continuations ICFP 1998
- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems CAV 2019
- Approaching the Coverability Problem Continuously TACAS 2016
- PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP CAV 2022
- Constraining Control POPL 1985
- Workflow enactment with continuation and future objects OOPSLA 2002