Back to Results
First PageMeta Content
Lisp programming language / Functional languages / Formal methods / Logic in computer science / Isabelle / ACL2 / Mathematical logic / Nqthm / Common Lisp / Computing / Software engineering / Computer programming


A verified runtime for a verified theorem prover Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK 2
Add to Reading List

Document Date: 2011-05-23 22:30:57

Open Document

File Size: 283,19 KB

Share Result on Facebook

Company

Jared Davis2 1 Computer Laboratory / UK 2 Centaur Technology Inc. / /

Facility

University of Cambridge / /

IndustryTerm

compilation algorithm / runtime systems / expression printing / tools / printing / printing function / on our previous tools / extensible synthesis tool / goal-directed proof search using algorithms / printing algorithms / /

MusicAlbum

I/O / /

NaturalFeature

I/O streams / /

Organization

University of Cambridge / /

Position

copying garbage collector / interpreter / Lisp interpreter / /

Product

Jitawa / Lisp / /

ProgrammingLanguage

Common Lisp / C / Objective Caml / ML / Lisp / /

ProvinceOrState

Manitoba / /

Technology

functional programming / compilation algorithm / operating system / goal-directed proof search using algorithms / just-in-time compiler / /

SocialTag