| ... | ... | @@ -11,8 +11,8 @@ 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
|
|
|
|
- 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);
|
|
|
|
- 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)
|
|
|
|
|
|
|
|
**Feedback** is welcome and encouraged: julien dot forget at univ-lille dot fr
|
|
|
|
|
| ... | ... | @@ -27,9 +27,9 @@ The following features are supported by the current distribution: |
|
|
|
- Clocks polymorphism
|
|
|
|
- Types polymorphism
|
|
|
|
- Static analyses:
|
|
|
|
- Typing;
|
|
|
|
- Clock calculus;
|
|
|
|
- Causality analysis;
|
|
|
|
- Deadline calculus.
|
|
|
|
- Muli-threaded C code generation (independent from the target OS);
|
|
|
|
- Monocore and multicore artchitectures. |
|
|
|
- Typing
|
|
|
|
- Clock calculus
|
|
|
|
- Causality analysis
|
|
|
|
- Deadline calculus
|
|
|
|
- Muli-threaded C code generation (independent from the target OS)
|
|
|
|
- Monocore and multicore artchitectures |
