Prototypování algebraických specifikací

B241 - Zimní 2024/2025
Nemáte přístup do kurzu
B171 - Zimní 2017/2018 B161 - Zimní 2016/2017 B162 - Letní 2016/2017 B151 - Zimní 2015/2016 B172 - Letní 2017/2018 B181 - Zimní 2018/2019 B182 - Letní 2018/2019 B192 - Letní 2019/2020 B201 - Zimní 2020/2021 B202 - Letní 2020/2021 B211 - Zimní 2021/2022 B212 - Letní 2021/2022 B221 - Zimní 2022/2023 B222 - Letní 2022/2023 B231 - Zimní 2023/2024 B232 - Letní 2023/2024 B241 - Zimní 2024/2025

Prototypování algebraických specifikací - XP36PAS

Výsledky studentské ankety
Kredity 4
Semestry oba
Zakončení Zkouška
Jazyk výuky neurčen
Rozsah výuky 2P+2S
Anotace
Syntaxe a sémantika specifikačního jazyka, různé způsoby implementace algebraických specifikací, přepisovací systémy, převod specifikace na přepisovací systém, abstraktní přepisovací stroj, prototypování algebraických specifikací, příklady na prototypování v OBJ3. \\Výsledek studentské ankety předmětu je zde: http://www.fel.cvut.cz/anketa/aktualni/courses/XP36PAS
Cíle studia
None
Osnovy přednášek
None
Osnovy cvičení
None
Literatura
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
Požadavky
None