Back to Results
First PageMeta Content
Data types / C++ / Primitive types / Type theory / C programming language / Pointer / C / Type safety / Reference / Software engineering / Computing / Computer programming


Beyond the PDP-11: Architectural support for a memory-safe C abstract machine David Chisnall Colin Rothwell Robert N. M. Watson Jonathan Woodruff
Add to Reading List

Document Date: 2015-01-14 18:11:07


Open Document

File Size: 227,79 KB

Share Result on Facebook

City

Istanbul / /

Company

Honeywell / Intel / CHERI ISA / /

Country

Turkey / /

Currency

USD / /

/

Facility

University of Cambridge firstname.lastname@cl.cam.ac.uk Abstract We / /

IndustryTerm

software compatibility / much software / point systems / contemporary processors / softcore processor / application software / lowlevel software / software packages / dangerous software error / /

OperatingSystem

FreeBSD / BSD / Linux / UNIX-like / POSIX / /

Organization

MIT / NT IA / University of Cambridge firstname.lastname@cl.cam.ac.uk Abstract We / /

Person

Michael Roe Brooks Davis / David Chisnall Colin Rothwell Robert / Jonathan Woodruff Munraj Vadera Simon / /

Position

author / collector / Relaxed interpreter / relocating garbage collector / translator / simple abstract machine interpreter / qualifier / garbage collector / Garbage hoarding The const qualifier / const qualifier / Strict interpreter / relocating generational garbage collector / C programmer / Boehm-Demers-Weiser collector / programmer / /

Product

Olden benchmark suite / Olden / /

ProgrammingLanguage

Java / C / /

Technology

FPGA / virtual machine / Java / UNIX / Linux / softcore processor / virtual memory / operating system / mobile devices / /

URL

http /

SocialTag