Modeling an Algebraic Stepper
No abstract available.
Related papers
- DrScheme: a programming environment for Scheme JFP 2002
- Executable formal semantics for the POSIX shell POPL 2020
- Symbolic Model Checking Using Algebraic Geometry CAV 1996
- Generating BDD Models for Process Algebra Terms CAV 1995
- Model Checking for Object Specifications in Hidden Algebra VMCAI 2004
- Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF SLE 2010
- Algorithmic Algebraic Model Checking I: Challenges from Systems Biology CAV 2005
- Modular probabilistic models via algebraic effects ICFP 2022