Child pages
  • Home

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


10th Biennial Ptolemy Miniconference (PTCONF’13), Berkeley, CA, USA, November 2013.

Summary: Poster This poster describes Sequentially Constructive Charts (SCCharts), the visual language for specifying safety-critical reactive systems employed in the [PLDI’14] publication.



Compiling SCCharts (and other Sequentially Constructive Programs) to Hardware and Software.