<--- Back to Details
First PageDocument Content
Lisp programming language / Functional languages / Automated theorem proving / ACL2 / XML / Literate programming / DocBook / Nqthm / Proof assistant / Computing / Markup languages / Technical communication
Date: 2003-07-07 13:20:50
Lisp programming language
Functional languages
Automated theorem proving
ACL2
XML
Literate programming
DocBook
Nqthm
Proof assistant
Computing
Markup languages
Technical communication

Add to Reading List

Source URL: www.cs.utexas.edu

Download Document from Source Website

File Size: 100,70 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