| E1 |
Abstract Data Types in Maude |
26/09/2011 |
es1.zip |
Maude |
| E2 |
First experiments with Prolog using 2p |
3/10/2011 |
es2.zip |
Prolog |
| E3 |
More on Prolog |
10/10/2011 |
es3.zip |
Prolog |
| E4 |
Metaprogramming in Prolog |
17/10/2011 |
es4.zip |
Prolog |
| E5 |
Java - Prolog Integration |
24/10/2011 |
es5.zip |
Prolog-Java |
| E6 |
Exercises on Parsing |
7/11/2011 |
es6.zip |
Prolog |
| E7 |
Compilation with DCG and JavaCC |
14/11/2011 |
es7.zip |
Prolog - JavaCC |
| E8 |
Operational Semantics in Maude |
21/11/2011 |
es8.zip |
Maude |
| E9 |
Model Checking in Maude |
28/11/2011 |
es9.zip |
Maude |
| E10 |
Probabilistic Model Checking |
12/12/2011 |
es10.zip |
PRISM |