TYPE SAFETY IN THE LINUX KERNEL A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES

First Page		Document Content
Date: 2011-04-27 02:12:51 Computing Data types Program analysis Type theory Pointer Aliasing Type safety Escape analysis Programming language Static program analysis Programming language theory Software engineering		TYPE SAFETY IN THE LINUX KERNEL A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: theory.stanford.edu Download Document from Source Website File Size: 805,50 KB Share Document on Facebook

	Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop DocID: 1xVW1 - View Document
	C++ Exception Handling for IA-64 Christophe de Dinechin Hewlett-Packard IA-64 Foundation Lab Abstract The C++ programming language offers a feature DocID: 1xVT7 - View Document
	POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin DocID: 1xUAI - View Document
	Juniper: A Functional Reactive Programming Language for the Arduino Caleb Helbling Samuel Z Guyer DocID: 1xUyT - View Document
	tifact Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features Keywords Macros, hygiene, binding, scope 1. DocID: 1xUqQ - View Document