Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
Abstract elided by the publisher.
Related papers
- Modular code generation from synchronous block diagrams: modularity vs. code size POPL 2009
- Bloqqi: modular feature-based block diagram programming Onward! 2016
- Hierarchical Set Decision Diagrams and Regular Models TACAS 2009
- Mechanized semantics and verified compilation for a dataflow synchronous language with reset POPL 2020
- Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations OOPSLA 2009
- Weighted Context-Free-Language Ordered Binary Decision Diagrams OOPSLA 2024
- Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks APLAS 2012
- Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow PLDI 2026