Zpět na vyhledávání

Bc. Matúš Goljer

Master's thesis

Odvozování programů ze specifikací

Deriving programs from specifications
Abstract:
Ciel tejto práce je prezentovať formalizmy používané v odvodzovaní programov z matematických špecifikácií. V prvej časti práce je predstavený teoretický základ súvisiacich konceptov z teórie kategórií a relačnej algebry. V druhej časti je predstavená trieda optimalizačných problémov. Vybrané problémy sú použité ako príklady aplikácie algebraického prístupu k známym princípom návrhu algoritmov: hladovým …more
Abstract:
Objective of this thesis is to present formalisms used in program derivation from mathematical specifications. In the first part of the thesis, the basic theoretical background in relevant concepts from category theory and algebra of relations is presented. In the second part a class of Optimization problems is explored. These are used as case studies of application of algebraic approach to known algorithm …more
 

Keywords

Program derivation from specification Algebra of relations Category theory Catamorphisms Initial algebras Limits Activity scheduling problem Change making problem Single-source shortest path problem
 
Language used: English
Date on which the thesis was submitted / produced: 27. 5. 2013
Identifier: https://is.muni.cz/th/oqkxe/

Thesis defence

  • Date of defence: 26. 6. 2013
  • Supervisor: RNDr. Libor Škarvada
  • Reader: doc. Mgr. Jan Obdržálek, PhD.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Artificial Intelligence and Natural Language Processing

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.