<--- Back to Details
First PageDocument Content
Applied mathematics / Formal methods / Automated theorem proving / ACL2 / Lisp programming language / Formal verification / Michael J. C. Gordon / HOL / Mathematical logic / Theoretical computer science / Mathematics / Logic in computer science
Date: 2009-09-28 15:59:09
Applied mathematics
Formal methods
Automated theorem proving
ACL2
Lisp programming language
Formal verification
Michael J. C. Gordon
HOL
Mathematical logic
Theoretical computer science
Mathematics
Logic in computer science

Add to Reading List

Source URL: ttvsi.gilith.com

Download Document from Source Website

File Size: 467,06 KB

Share Document on Facebook

Similar Documents

Software engineering / Computer programming / Computing / Data types / Lisp / Functional languages / Object-oriented programming languages / Geographic information system / Object-oriented programming / Cons / Frame language / Cellular automaton

� EMAPS : AN EXTENDABLE, OBJECT-ORIENTED GIS Stephen M. Ervin, Associate Professor Department of Landscape Architecture Harvard University Graduate School of Design

DocID: 1rp0y - View Document

Software engineering / Computer programming / Computing / Functional languages / Subroutines / Procedural programming languages / Data types / Lambda calculus / Scheme / Lisp / Anonymous function / Scope

Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY

DocID: 1rf2e - View Document

Software engineering / Computing / Computer programming / Logic in computer science / Programming language implementation / Functional languages / Compiler construction / Programming languages / Denotational semantics / Compiler / Lisp / Semantics

Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991

DocID: 1rbJr - View Document

Software engineering / Computer programming / Programming language theory / Functional languages / Lisp / Trigonometric functions / Subroutine / Exponentiation / Constructor

Tracing in REDUCE Herbert Melenk Konrad–Zuse–Zentrum f¨ ur Informationstechnik Berlin Takustraße 7

DocID: 1r2pW - View Document

Software engineering / Computer programming / Computing / Subroutines / Functional languages / Functional programming / Lambda calculus / Computability theory / Scheme / Lisp / Closure / Anonymous function

Revised6 Report on the Algorithmic Language Scheme MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES

DocID: 1qNRX - View Document