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:
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Mon
Tue
Fri
roomKN:E-205

16:15–17:45
(lecture parallel1)
Karlovo nám.
Koníčkova konzultačka
roomKN:E-205

18:00–19:30
(lecture parallel1
parallel nr.101)

Karlovo nám.
Koníčkova konzultačka
Thu
Fri
The course is a part of the following study plans:
Data valid to 2020-05-28
For updated information see http://bilakniha.cvut.cz/en/predmet11846604.html