Staged programming
Název práce v češtině: | Staged programming |
---|---|
Název v anglickém jazyce: | Staged Programming |
Akademický rok vypsání: | 2006/2007 |
Typ práce: | diplomová práce |
Jazyk práce: | |
Ústav: | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
Vedoucí / školitel: | RNDr. Jan Hric |
Řešitel: |
Seznam odborné literatury |
Sheard |
Předběžná náplň práce |
Stupňovité (staged) programování dovoluje psát programy, které dostávají své argumenty postupně a na jejich základě generují za běhu kód, který bude korektně vyhodnocovat funkci vzhledem k zbylým argumentům. Úkolem práce je rozebrat tuto problematiku teoreticky a/nebo implementovat prototyp v kontextu funkcionálního nebo logického programování. |