3 ms·

I'm a huge INRIA fan so I decided to play with Esterel a while back. If people call Haskell an 'academic' language, I have no idea how an average person would d

I'm a huge INRIA fan so I decided to play with Esterel a while back. If people call Haskell an 'academic' language, I have no idea how an average person would describe Esterel. "Thinking in" Esterel is going to be a huge shift for the traditionally trained CS guy who's never touched a circuit. Half the people in our field didn't even go to go to school for CS[1]. Hell, I've got a decent amount of LabVIEW and Verilog experience, and even I have trouble with it. That being said, it's interesting and those resources are definitely going on the Kindle. Do you have a link to your thesis ? (Judging by your comment history, it has a high likelihood of being quality). [1] Not to denigrate those who were less traditionally educated. The brightest engineer I know is a high-school drop-out. They however were motivated enough to read Sipser, Gunter, B Peirce, and all the standard texts (again, not as a requirement to read All The Fancy Books, but just to enrich his own mind for the sake of knowledge - without that curiosity, one might have a difficult time being more than a code-monkey (not that there's anything wrong with that, but I personally have the scratch of "how does this work" that I need to keep on itching compulsively)).

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 ago
  I get the impression that synchronous programming is somehow only really known inside the French PL community, is that correct?
  - junke 10y ago
    Synchronous 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...).

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 ago
I get the impression that synchronous programming is somehow only really known inside the French PL community, is that correct?
- junke 10y ago
  Synchronous 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...).