| ... | ... | @@ -10,7 +10,7 @@ deadlines, release dates and precedence constraints), as well as its functional |
|
|
|
|
|
|
|
- [Master course](http://www.cristal.univ-lille.fr/%7Eforget/prelude/Prelude-course.pdf)
|
|
|
|
- Practical session: [exercises](http://www.cristal.univ-lille.fr/%7Eforget/prelude/prelude_lab.pdf)
|
|
|
|
and [resources](http://www.cristal.univ-lille.fr/%7Eforget/prelude/fcs.tgz for the FCS example)
|
|
|
|
and [resources](http://www.cristal.univ-lille.fr/%7Eforget/prelude/fcs.tgz) for the FCS example
|
|
|
|
- Complete definition of the language in my [PhD thesis](http://www.cristal.univ-lille.fr/%7Eforget/docs/jforget-thesis.pdf) (see Chapter 4 mainly);
|
|
|
|
- [Shorter presentation](http://hal.inria.fr/inria-00638936);
|
|
|
|
|
| ... | ... | |
| ... | ... | |
