Back to Results
First PageMeta Content
Lisp programming language / Logic in computer science / ACL2 / Rewriting / First-order logic / Lisp / FO / Theoretical computer science / Programming language theory / Mathematical logic


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

Document Date: 2013-10-11 19:58:43

Open Document

File Size: 199,01 KB

Share Result on Facebook

/

Facility

University Station C0500 Austin / Soundness Jared Davis∗ The University of Texas / /

IndustryTerm

function applications / /

Organization

U.S. Securities and Exchange Commission / National Science Foundation / University of Texas at Austin Department of Computer Sciences / /

Person

Jared Davis / /

Position

evaluator / /

ProgrammingLanguage

Java / Lisp / /

Technology

Java / caching / /

SocialTag