<--- Back to Details
First PageDocument Content
Theoretical computer science / Logic in computer science / Formal methods / Computer security / ACL2 / Lisp / Formal verification / SPARK / Domain-specific language / Pointer / Information security / Programming language
Date: 2011-12-15 18:21:30
Theoretical computer science
Logic in computer science
Formal methods
Computer security
ACL2
Lisp
Formal verification
SPARK
Domain-specific language
Pointer
Information security
Programming language

Microsoft Word - LAW-Paper.doc

Add to Reading List

Source URL: fm.csl.sri.com

Download Document from Source Website

File Size: 40,66 KB

Share Document on Facebook

Similar Documents

Computing / Hadoop / Apache Software Foundation / Cloud infrastructure / Computer networks / Parallel computing / Apache Hadoop / Remote direct memory access / IWARP / InfiniBand / Apache Spark / Apache HBase

Accelerating Big Data Processing with Hadoop, Spark and Memcached Talk at HPC Advisory Council Switzerland Conference (Mar ‘15) by Dhabaleswar K. (DK) Panda The Ohio State University

DocID: 1xVBp - View Document

PDF Document

DocID: 1xF1U - View Document

PDF Document

DocID: 1xDED - View Document

PDF Document

DocID: 1xxcQ - View Document

PDF Document

DocID: 1xsUh - View Document