Практычнае праграмаванне з субструктурные тыпаў

Link: http://users.eecs.northwestern.edu/~jesse/pubs/dissertation/

Jesse A. Tov

Доктар філасофіі дысертацыя, Паўночна-Усходні універсітэт, Люты 2012

Субструктурные логік выдаліць з класічных лагічных правіл для змянення парадку, дублявання або скіданні здагадак. Паколькі прапановы ў такой логіцы больш не можа быць свабодна скапіяваная або ігнараваць, гэта наводзіць на думку разуменне прапаноў у субструктурных логік як прадстаўляюць рэсурсы, а не ісціны. Для мовы праграмавання дызайнера, субструктурные логік, такім чынам, забяспечваюць аснову для разгляду сістэмы тыпаў, якія могуць адсочваць змяненне стану лагічных і фізічных рэсурсаў.

У той час як некалькі сістэм субструктурные тыпу былі прапанаваны і рэалізаваны, многія з іх арыентаваны субструктурные тыпы на пэўнай мэты, а не прапаноўваць іх у якасці агульнага аб’екта. Больш агульныя сістэмы субструктурные тыпу былі тэарэтычны характар ​​і занадта грувасткім для практычнага выкарыстання. Дадзеная дысертацыя ўяўляе канструкцыю мовай агульнага прызначэння з субструктурных тыпаў, а таксама абмяркоўваюцца некаторыя праблемы праектавання мовы, якія павінны былі быць вырашаныя для таго, каб зрабіць субструктурные тыпы карыснай на практыцы.
Даступна:

Дысертацыя:

 

 

Leave a Reply

Your email address will not be published. Required fields are marked *