Algebraic Specifications Prototyping

Semestr: Both

Range: 2P+2S

Completion:

Credits: 4

Programme type:

Study form:

Course language:

Time table at FEE

Summary:

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++).

Keywords:

Course syllabus:

Seminar syllabus:

Literature:

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

Examiners:

• doc. Ing. Karel Richta, CSc.

Lecturers:

• doc. Ing. Karel Richta, CSc.

Instructors:

• doc. Ing. Karel Richta, CSc.