CTU FEE Moodle
Algebraic Specifications Prototyping
B241 - Winter 2024/2025
Algebraic Specifications Prototyping - XP36PAS
Credits | 4 |
Semesters | Both |
Completion | Exam |
Language of teaching | undefined |
Extent of teaching | 2P+2S |
Annotation
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++).
Study targets
None
Course outlines
None
Exercises outlines
None
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
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
None