Comparing Generic State Machines
Abstract elided by the publisher.
Related papers
- TensorMD: Molecular Dynamics Simulation with Ab Initio Accuracy of 50 Billion Atoms PPoPP 2025
- Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth POPL 2015
- Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity OOPSLA 1995
- Analysis of recursive state machines TOPLAS 2005
- Scalable Tree-based Register Automata Learning TACAS 2024
- From Region Inference to von Neumann Machines via Region Representation Inference POPL 1996
- HHVM Jump-Start: Boosting Both Warmup and Steady-State Performance at Scale CGO 2021
- OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler JFP 2016