Practice

Home Software Lab Sessions 

Practical Sessions

Name	Description	Date	Text	Topic
E1	Abstract Data Types in Maude	09/25/2009	http://campus.cib.unibo.it/19808/	Maude
E2	First Experiments with Prolog by 2p	10/02/2009	http://campus.cib.unibo.it/20208/	Prolog
E3	More on Prolog	10/09/2009	http://campus.cib.unibo.it/20963/	Prolog
E4	Metaprogramming in Prolog	10/16/2009	http://campus.cib.unibo.it/21595/	Prolog
E5	Java - Prolog Integration	10/23/2009	http://campus.cib.unibo.it/22276/	Prolog
E6	Exercises on Parsing	11/06/2009	http://campus.cib.unibo.it/23646/	Prolog
E7	Compilation in JavaCC / DCG	11/13/2009	http://campus.cib.unibo.it/24406/	Java - Prolog
E8	Operational Semantics in Maude	11/20/2009	http://campus.cib.unibo.it/25097/	Maude
E9	Model Checking in Maude	11/27/2009	http://campus.cib.unibo.it/25093/	Maude
E10	Probabilistic Model Checking	12/11/2009	http://campus.cib.unibo.it/26950/	PRISM
E11	Introduction to SPiM	12/17/2009	http://campus.cib.unibo.it/27245/	SPiM