Polyglot: Systematic Analysis for Multiple Statechart Formalisms
No abstract available.
Related papers
- Extending the Statechart Formalism: Event Scheduling & Disposition OOPSLA 1995
- Is Polyglot Programming Really a Thing? (Invited Talk) DLS 2023
- Formal Verification of Statecharts with Instantaneous Chain Reaction TACAS 1997
- Analyzing memory ownership patterns in C libraries ISMM 2013
- Statecharts in the making: a personal account HOPL 2007
- Polyglot: An Extensible Compiler Framework for Java CC 2003
- Systematic black-box analysis of collaborative web applications PLDI 2017
- PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language CC 2013