Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2019/2020

Algebraic Specifications Prototyping

Login to KOS for course enrollment Display time-table
Code Completion Credits Range
XP36PAS ZK 4 2P+2S
Lecturer:
Karel Richta (guarantor)
Tutor:
Karel Richta (guarantor)
Supervisor:
Department of Computer Science
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:
Further information:
https://moodle.fel.cvut.cz/courses/XP36PAS
Time-table for winter semester 2019/2020:
Time-table is not available yet
Time-table for summer semester 2019/2020:
Time-table is not available yet
The course is a part of the following study plans:
Data valid to 2019-10-18
For updated information see http://bilakniha.cvut.cz/en/predmet11846604.html