|
|
|
We are also investigating the specification of
synchronous languages such as Lustre, Esterel, RSML-e in Silver. A
prototype implementation of a Lustre-like language has been
developed.
- Our FASE paper on an
extensible language framework for Lustre.
- A draft of our technical report: A Flexible and Extensible Framework for Modeling
Languages.
PDF
|
|
