Back to Results
First PageMeta Content
Type theory / Higher-order abstract syntax / Prolog / Twelf / De Bruijn index / Eval / Type system / Free variables and bound variables / Lambda calculus / Software engineering / Computing / Programming language theory


A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007
Add to Reading List

Document Date: 2012-08-16 12:29:03

Open Document

File Size: 289,68 KB

Share Result on Facebook

Company

Prolog / Computational Systems / /

IndustryTerm

meta-reasoning tool / uniform proof search / pi operator / animation tool / proof search / meta-level tools / abstractions and tools / /

Organization

US Federal Reserve / /

Person

Andrew Gacek Decemeber / /

ProgrammingLanguage

ML / /

RadioStation

Core / /

Technology

alpha / animation / /

SocialTag