Back to Results
First PageMeta Content
Lisp programming language / Mathematical logic / Holism / ACL2 / Formal methods / Automated theorem proving / Nqthm / Structural induction / Common Lisp / Software engineering / Computing / Computer programming


Making Induction Manifest in Modular ACL2 ∗ Carl Eastlund Matthias Felleisen Northeastern University
Add to Reading List

Document Date: 2015-03-24 18:44:54

Open Document

File Size: 255,74 KB

Share Result on Facebook

City

Common Lisp / Coimbra / /

Country

Portugal / /

Currency

USD / /

/

Facility

Carl Eastlund Matthias Felleisen Northeastern University / /

IndustryTerm

software engineering students / linguistic machinery / graph search case study / list-processing functions / prior systems / low-level software components / proof search algorithm / search space / search algorithm / module systems / car xs / /

Organization

Carl Eastlund Matthias Felleisen Northeastern University Boston / National Science Foundation / /

Person

Rex Page / Carl Eastlund Matthias Felleisen / /

/

Position

General / producer / Harper / interpreter / programmer / /

ProgrammingLanguage

Modula-2 / PLT Scheme / ML / Extended ML / /

Technology

search algorithm / proof search algorithm / /

SocialTag