Detail publikace

Rendering Pipeline Modelled by Category Theory

HAVEL, J.; HEROUT, A. Rendering Pipeline Modelled by Category Theory. GraVisMa 2010 workshop proceedings. Plzeň: University of West Bohemia in Pilsen, 2010. p. 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
anglicky
Autoři
Havel Jiří, Ing., Ph.D. (CK-SZZ)
Herout Adam, prof. Ing., Ph.D. (UPGM)
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
ISBN
978-80-86943-85-5
Vydavatel
University of West Bohemia in Pilsen
Místo
Plzeň
BibTeX 
@inproceedings{BUT35207,
  author="Jiří {Havel} and Adam {Herout}",
  title="Rendering Pipeline Modelled by Category Theory",
  booktitle="GraVisMa 2010 workshop proceedings",
  year="2010",
  pages="101--105",
  publisher="University of West Bohemia in Pilsen",
  address="Plzeň",
  isbn="978-80-86943-85-5"
}
Nahoru