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/XP36PAS

Anotation:

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.6.2024 17:51:22, semester: Z/2024-5, Z,L/2023-4, Send comments about the content to the Administrators of the Academic Programs Proposal and Realization: I. Halaška (K336), J. Novák (K336)