Subject description - XP36PAS
Summary of Study |
Summary of Branches |
All Subject Groups |
All Subjects |
List of Roles |
Explanatory Notes
Instructions
| XP36PAS | Algebraic Specifications Prototyping | ||
|---|---|---|---|
| Roles: | S | Extent of teaching: | 2P+2S |
| Department: | 13136 | Language of teaching: | |
| Guarantors: | Richta K. | Completion: | ZK |
| Lecturers: | Richta K. | Credits: | 4 |
| Tutors: | Richta K. | Semester: | Z,L |
Web page:
https://moodle.fel.cvut.cz/courses/XP36PASAnotation:
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++).Course outlines:
Exercises outline:
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 |
Requirements:
Subject is included into these academic programs:| Program | Branch | Role | Recommended semester |
| DOKP | Common courses | S | – |
| DOKK | Common courses | S | – |
| Page updated 15.11.2025 17:51:52, semester: L/2026-7, Z/2025-6, L/2024-5, L/2025-6, Z/2026-7, Send comments about the content to the Administrators of the Academic Programs | Proposal and Realization: I. Halaška (K336), J. Novák (K336) |