Formalizing a Domain Specific Language Using SOS: An Industrial Case Study
Abstract elided by the publisher.
Related papers
- Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study GPCE 2011
- FlowSpec: declarative dataflow analysis specification SLE 2017
- On integrating graphical and textual editors for a UML profile based domain specific language: an industrial experience SLE 2015
- Using C language extensions for developing embedded software: a case study OOPSLA 2015
- Relational Differential Dynamic Logic TACAS 2020
- Tᴏᴏʟ: accessible automated reasoning for human robot collaboration Onward! 2018
- FlashMeta: a framework for inductive program synthesis OOPSLA 2015
- Symmetric lenses POPL 2011