First Page | Document Content | |
---|---|---|
Date: 2015-12-13 09:20:23Software engineering Computer programming Computing Transformation languages Metaprogramming Source code Dylan Hygienic macro Scheme Macro Scope Anonymous function | tifact Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features Keywords Macros, hygiene, binding, scope 1.Add to Reading ListSource URL: www.cs.utah.eduDownload Document from Source WebsiteFile Size: 2,30 MBShare Document on Facebook |
Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,boDocID: 1xUUc - View Document | |
Technical Report UW-CSEPorting Hyperkernel to the ARM Architecture Dylan Johnson University of WashingtonDocID: 1xTT5 - View Document | |
COMMITTEE ON DIVERSITY & EQUAL OPPORTUNITY November 1, 2017 To: Dylan Rodriguez Riverside Division Academic SenateDocID: 1vqoc - View Document | |
Record Of Mathematics (ROM) the Editors: Dylan, Jonathan, Mia T., AlexDocID: 1vpCK - View Document | |
COMMITTEE ON FACULTY WELFARE October 31, 2017 To: Dylan Rodriguez Riverside Division Academic SenateDocID: 1vnxx - View Document |