3 ms·
> Do you have a link to your thesis? There is only a French version: https://tel.archives-ouvertes.fr/tel-00680308/ https://tel.archives-ouvertes.fr/tel-00680
by junke 10y ago
> Do you have a link to your thesis?
There is only a French version:
https://tel.archives-ouvertes.fr/tel-00680308/ https://tel.archives-ouvertes.fr/tel-00680308/
The context is about using a constraint programming approach (in Prolog) to model Lustre/Scade programs and automatically generate traces of input/outputs that satisfy a given test objective. With the help of my advisers I extended the GATeL tool to introduce what is known as "clocks" in Lustre and integrate them with other constraint domains to prune the search space efficiently.
- vanderZwan 10y agoI get the impression that synchronous programming is somehow only really known inside the French PL community, is that correct?
- junke 10y agoSynchronous programming is mostly a French thing but as far as I know there is also Quartz in Germany (https://es.cs.uni-kl.de/publications/datarsg/Schn09.pdf https://es.cs.uni-kl.de/publications/datarsg/Schn09.pdf), Ptolemy in Berkeley (http://ptolemy.eecs.berkeley.edu/publications/papers/01/sr/sr.pdf http://ptolemy.eecs.berkeley.edu/publications/papers/01/sr/s...) and some work at Virginia Tech (https://theses.lib.vt.edu/theses/available/etd-08112011-161349/unrestricted/Jose_BA_D_2011.pdf https://theses.lib.vt.edu/theses/available/etd-08112011-1613...).