Algebraic Specifications Prototyping
| Code | Completion | Credits | Range |
|---|---|---|---|
| XP36PAS | ZK | 4 | 2P+2S |
- Course guarantor:
- Karel Richta
- Lecturer:
- Karel Richta
- Tutor:
- Karel Richta
- 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 2024/2025:
- Time-table is not available yet
- Time-table for summer semester 2024/2025:
- 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)