000000111 001__ 111
000000111 005__ 20250424232502.0
000000111 0247_ $$2DOI$$a10.6083/M4N877QF
000000111 037__ $$aETD
000000111 245__ $$aThe role of type equality in meta-programming
000000111 260__ $$bOregon Health and Science University
000000111 269__ $$a2004
000000111 336__ $$aDissertation
000000111 502__ $$bPh.D.
000000111 520__ $$aMeta-programming, writing programs that write other programs, involves two kinds of languages. The meta-language is the language in which meta-programs, which construct or manipulate other programs, are written. The object language is the language of programs being manipulated. We study a class of meta-language features used to write meta-programs that are statically guaranteed to maintain semantic invariants of object-language programs, such as typing and scoping.
000000111 540__ $$fCC BY
000000111 542__ $$fIn copyright - single owner
000000111 650__ $$aProgramming Languages$$024648
000000111 6531_ $$alogic programming
000000111 6531_ $$acomputer programming
000000111 6531_ $$atype theory
000000111 691__ $$aOGI School of Science and Engineering$$041365
000000111 692__ $$aOGI Department of Computer Science and Engineering$$041405
000000111 7001_ $$aPasalic, Emir$$uOregon Health and Science University$$041354
000000111 7201_ $$aSheard, Timothy$$uOregon Health and Science University$$041354$$7Personal$$eAdvisor
000000111 8564_ $$928fb26b3-df35-46d6-8e73-55ef613381bc$$s10523123$$uhttps://digitalcollections.ohsu.edu/record/111/files/111_etd.pdf$$ePublic$$2a8c4bf30f7ddf85f1e8bd93f753e0c0d$$31
000000111 905__ $$a/rest/prod/fn/10/6x/93/fn106x93g
000000111 909CO $$ooai:digitalcollections.ohsu.edu:111$$pstudent-work
000000111 980__ $$aTheses and Dissertations