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"
}
Nahoru