Back to Results
First PageMeta Content
Automated theorem proving / Lisp programming language / Theoretical computer science / Logic in computer science / Formal methods / ACL2 / Formal verification / Logic programming / J Strother Moore / Computing / Software engineering / Computer programming


Functional Programming and Theorem Proving for Undergraduates: A Progress Report Carl Eastlund Rex Page
Add to Reading List

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

Open Document

File Size: 358,21 KB

Share Result on Facebook

City

Southampton / Boston / New York / Victoria / Cambridge / Norman / /

Company

The MIT Press / ACM Press / R. Software / /

Country

United States / Canada / United Kingdom / /

Currency

USD / /

/

Facility

GUI library / Northeastern University / University of Oklahoma / D RACULA University / The library / D RACULA facility / Computer Science University of Oklahoma / Oklahoma University / DoubleCheck The DoubleCheck library / The GUI library / Copyright Matthias Felleisen College / /

IndustryTerm

software engineering / software tools / software engineering course / software systems / food / concrete applications / graphics processor / computing / software engineering concepts / software engineering process / /

Organization

University of Oklahoma / National Science Foundation / Northeastern University / Unit Tests Unit / MIT / Yale / Matthias Felleisen College / /

Person

Nat / Functional / Dillinger / Stephen Mercer / Larry Wos / /

/

Position

editor / board member / Information Science Education General / language-sensitive editor / player / head / Major / representative / forward / /

Product

ACL2 / /

ProgrammingLanguage

Haskell / D / Common Lisp / LabVIEW / /

ProvinceOrState

British Columbia / New York / Victoria / Oklahoma / Massachusetts / /

PublishedMedium

Electronic Notes in Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

Functional Programming / image processing / cryptography / graphics processor / simulation / animation / GUI / /

URL

http /

SocialTag