Algebraic Specifications Prototyping

B232 - Summer 23/24
You don't have access to the course
B171 - Winter 17/18 B161 - Winter 16/17 B162 - Summer 16/17 B151 - Winter 15/16 B172 - Summer 17/18 B181 - Winter 18/19 B182 - Summer 18/19 B191 - Winter 19/20 B192 - Summer 19/20 B201 - Winter 20/21 B202 - Summer 20/21 B211 - Winter 21/22 B212 - Summer 21/22 B221 - Winter 22/23 B231 - Winter 23/24 B232 - Summer 23/24 B241 - Winter 24/25

Algebraic Specifications Prototyping - XP36PAS

Student survey results
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
No data.
Course outlines
No data.
Exercises outlines
No data.
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
No data.