A Practical Algorithm for Structure Embedding
Abstract elided by the publisher.
Related papers
- Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice VMCAI 2011
- Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software POPL 1983
- Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding SAS 2006
- Automatic code generation in practice: experiences with embedded robot controllers GPCE 2016
- Fling - A Fluent API Generator ECOOP 2019
- Structural embeddings revisited (invited talk) CPP 2022
- Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming ICFP 1999
- Modular Substructural Constraints for Embedded DSLs GPCE 2026