Article thumbnail

Týr: A Dependent Type System for Spatial Memory Safety in LLVM

By Aspinall, Augustsson, Berger, Boehm, Condit, Durumeric, Jim, Lattner, Nagarakatte, Necula, Necula and Zhao
Publisher: 'Elsevier BV'
DOI identifier: 10.1016/j.entcs.2016.09.003
OAI identifier:
Provided by: MUCC (Crossref)
Sorry, our data provider has not provided any external links therefore we are unable to provide a link to the full text.

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.