The presentation slides for the
CheapThreads (Model-driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software) talk can be found
here. While the slides for the
FSMLang talk can be found at this
link.
Jason's talk I:
ReplyDelete- The CT language looks really interesting. We're working on something similar to do "offshoring" to hardware from OCaml. Where can I find the BNF for CT?
Jason's talk II:
- Great stuff, Jason! I think your work is quite closely related to what Cherif Salama is looking into, and in particular I suggest that you look at his work on the semantics of Verilog and on VPP. Also, it would be fantastic if you can clarify how your work is related to statecharts and synchronous languages.
In general, DSLs for composing state machines are powerful and widely applicable, especially because the control state of one machine can be treated as uninterpreted data by a larger machine. (The latter machine can then be thought of as a driver, a handler, a harness, or a cooperatively multitasking operating system.) For example, regular expressions are ubiquitous, and generalized to weighted finite-state transducers for speech recognition. To take another example, text adventures often contain multi-turn sequences, which are programmed using state machines and inspected by commands such as "LOOK AT BUSKER".
ReplyDelete