Detail publikace
Rendering Pipeline Modelled by Category Theory
HAVEL Jiří a HEROUT Adam. Rendering Pipeline Modelled by Category Theory. In: GraVisMa 2010 workshop proceedings. Plzeň: Západočeská univerzita v Plzni, 2010, s. 101-105. ISBN 978-80-86943-85-5.
Název česky
Zobrazovací pipeline modelovaná pomocí teorie kategorií
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Klíčová slova
Zobrazování, Shadery, Teorie kategorií
Abstrakt
Článek popisuje základní koncepty z teorie kategorií, které se běžně používají ve funkcionálním programování. Tyto koncepty aplikuje na rogramovíní shaderů a vykreslovací řetězec. Celý vykreslovací řetězec je modelovaný pomocí teorie kategorií. Tento model může být použit pro abstraktněší a formálnější přístup k programování shaderů. Matematická formalizace zobrazovacícho řetězce a jeho stupňů může pomoci při návrhu překladačů, dokazování algoritmů, analýze složitosti a podobně.
Rok
2010
Strany
101-105
Sborník
GraVisMa 2010 workshop proceedings
Konference
GraVisMa Computer Graphics, Computer Vision and Mathematics 2010, Brno, CZ
ISBN
978-80-86943-85-5
Vydavatel
Západočeská univerzita v Plzni
Místo
Plzeň, CZ
BibTeX
@INPROCEEDINGS{FITPUB9424, author = "Ji\v{r}\'{i} Havel and Adam Herout", title = "Rendering Pipeline Modelled by Category Theory", pages = "101--105", booktitle = "GraVisMa 2010 workshop proceedings", year = 2010, location = "Plze\v{n}, CZ", publisher = "University of West Bohemia in Pilsen", ISBN = "978-80-86943-85-5", language = "english", url = "https://www.fit.vut.cz/research/publication/9424" }