000000122 001__ 122
000000122 005__ 20260421121432.0
000000122 0247_ $$2DOI$$a10.6083/M4736NTX
000000122 037__ $$aETD
000000122 245__ $$aHigh-level abstractions for low-level programming
000000122 260__ $$bOregon Health and Science University
000000122 269__ $$a2007
000000122 336__ $$aDissertation
000000122 502__ $$bPh.D.
000000122 502__ $$gComputer Science & Electrical Engineering (sunsetting)
000000122 520__ $$aDespite advances in programming language design, much systems software continues to be written in low-level or legacy languages due to challenges in aligning modern language features with systems programming needs. This dissertation demonstrates how a modern statically typed functional language can be extended to address common systems-level problems, particularly the safe manipulation of data with rigid, externally imposed representations. The design introduces language support for programmer-controlled data representations, including bit-field–based datatypes and fixed-layout memory regions, while leveraging established techniques such as type inference, polymorphism, qualified types, and monads to ensure safety and expressiveness.
000000122 540__ $$fCC BY
000000122 542__ $$fIn copyright - single owner
000000122 650__ $$aComputers$$016992
000000122 650__ $$aProgramming Languages$$024648
000000122 650__ $$aAlgorithms$$014437
000000122 6531_ $$adata representation
000000122 6531_ $$asystems software
000000122 6531_ $$alanguage design
000000122 6531_ $$asystems programming
000000122 6531_ $$abitdata
000000122 691__ $$aOGI School of Science and Engineering$$041365
000000122 692__ $$aDepartment of Computer Science and Engineering$$041405
000000122 7001_ $$aDiatchki, Iavor$$uOregon Health and Science University$$041354
000000122 7201_ $$aJones, Mark$$uOregon Health and Science University$$041354$$7Personal$$eAdvisor
000000122 8564_ $$94f7cbb5b-e3c6-4900-85e8-7fdf440acaf4$$s1681460$$uhttps://digitalcollections.ohsu.edu/record/122/files/122_etd.pdf$$ePublic$$2fb9fef2f50fdf31b02c928cdc1f2ff0d$$31
000000122 901__ $$a<p>These documents are archival records. They are retained for historical reference only. </p><p><b>Need an accessible version? Use the ‘Get Accessible Copy’ link above.</b></p>
000000122 905__ $$a/rest/prod/m0/39/k4/91/m039k491c
000000122 909CO $$ooai:digitalcollections.ohsu.edu:122$$pstudent-work
000000122 956__ $$aGet Accessible Copy$$uhttps://ohsu.libwizard.com/f/requestaccessibledocument
000000122 980__ $$aTheses and Dissertations