Practical Sessions

Name	Description	Date	Text	Topic
E1	Abstract Data Types in Maude	10/11/2010	http://campus.cib.unibo.it/38525/	Maude
E2	First experiments with Prolog using 2p	10/14/2010	http://campus.cib.unibo.it/40695/	Prolog
E3	More on Prolog	10/20/2010	http://campus.cib.unibo.it/41378/	Prolog
E4	Metaprogramming in Prolog	10/28/2010	http://campus.cib.unibo.it/42285/	Prolog
E5	Java - Prolog Integration	11/04/2010	http://campus.cib.unibo.it/42862/	Prolog-Java
E6	Exercises on Parsing	11/18/2010	http://campus.cib.unibo.it/44305/	Prolog
E7	Compilation in DCG (JavaCC)	11/25/2010	http://campus.cib.unibo.it/45101/	Prolog - Java
E8	Operational Semantics in Maude	12/01/2010	http://campus.cib.unibo.it/45798/	Maude
E9	Model Checking in Maude	12/09/2010	http://campus.cib.unibo.it/46563/	Maude
E10	Probabilistic Model Checking	12/23/2010	http://campus.cib.unibo.it/47812/	PRISM