Algebraic Specifications Prototyping

Lecturer:

Karel Richta (gar.)

Tutor:

Karel Richta (gar.)

Supervisor:

Department of Computer Science and Engineering

Synopsis:

Algebraic specification, syntax and semantics of a specification language (OBJ3), structured specifications, generic specifications, implementation of an algebraic specification, interpretation using Prolog, translation into Lisp, term rewriting systems, abstract rewriting machine, prototyping of a specification, prototyping in OBJ3, conversion to procedural language (C++).

Requirements:

Syllabus of lectures:

Syllabus of tutorials:

Study Objective:

Study materials:

1. Richta, Velebil: Sémantika programovacích jazyků. Skripta UK

2. Goguen, Winkler, Meseguer, Futatsugi, Jouannaud: Introducing OBJ. SRI-CSL-92-03, Menlo Park 1992

3. Watt: Programming Language Syntax and Semantics, Prentice Hall 1991

Note:

Time-table for winter semester 2011/2012:

Time-table is not available yet

Time-table for summer semester 2011/2012:

Time-table is not available yet

The course is a part of the following study plans:

• Doctoral studies, daily studies (compulsory elective course)
• Doctoral studies, combined studies (compulsory elective course)
• Doctoral studies, structured daily studies (compulsory elective course)
• Doctoral studies, structured combined studies (compulsory elective course)