×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [safe language]
Project Report
16 views
Fakultät für informatik informatik 12 technische universität dortmund Imperative model of computation Peter Marwedel TU Dortmund, Informatik 12 Graphics:
222 views
FAA-Qualifiable Ada Subset Compiler V. Santhanam Boeing
219 views
Safe Haskell
3.696 views
An Adaptive Approach to Software Procurement
691 views
Trustless Grid Computing in Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning concert
221 views
- Vasvi Kakkad. Formal - Tool for mathematical analysis of language Method for precisely designing language Well formed model for describing and
221 views
01/05/2015Leiden Institute of Advanced Computer Science 1 The Open Kernel Environment - spinning Linux - Herbert Bos Bart Samwel {herbertb,bsamwel}@liacs.nl
213 views
Joonwon Lee
[email protected]
Process and Address Space
224 views
Secure Low-Level Programming via Hardware-Assisted Memory-Safe C Prof. Milo Martin Santosh Nagarakatte, Joe Devietti, Jianzhou Zhao, Colin Blundell Prof
221 views
CS 152: Programming Language Paradigms February 10 Class Meeting Department of Computer Science San Jose State University Spring 2014 Instructor: Ron Mak
226 views
Trustless Grid Computing in
68 views