Systems as Languages

TitleSystems as Languages
Publication TypeConference Paper
Year of Publication2000
AuthorsChelf B, Chou A, Hallem S, Engler DR
Conference NameFourth Symposium on Operating Systems Design and Implementation (OSDI 2000)
Date Published10/2000
PublisherUSENIX Association
Conference LocationSan Diego, CA
URLhttps://www.usenix.org/conference/osdi-2000/systems-languages