Omniscient Debugging of a Lingua Franca program in the GEMOC studio
Channel: Julien Deantoni
Date: 2022-05-14

This video describes how a Lingua Franca program (a language developed at Berkeley: https://github.com/lf-lang/lingua-franca/) can be debugged once its operational semantics has been defined in the GEMOC studio (http://gemoc.org/studio)