Back to Results
First PageMeta Content
Compiler / Compiler construction / Programming language implementation / Lookup table / Computing / Computer programming / Software engineering


The Milawa Rewriter and an ACL2 Proof of its Soundness Jared Davis The University of Texas at Austin Department of Computer Sciences
Add to Reading List

Document Date: 2010-11-04 22:53:46

Open Document

File Size: 580,22 KB

Share Result on Facebook

/

Facility

Soundness Jared Davis The University of Texas / /

IndustryTerm

web site http /

Organization

University of Texas at Austin / /

Person

Jared Davis / /

Position

Defining provability The assumptions system The evaluator / /

ProgrammingLanguage

Lisp / /

Technology

Caching / /

URL

http /

SocialTag