Tech Digest Figure Template_1 column_01-06-12

First Page		Document Content
Date: 2013-09-26 17:40:05 Lisp programming language Functional languages Formal methods Automated theorem proving Procedural programming languages ACL2 Lisp Formal verification Nqthm Computing Software engineering Computer programming		Tech Digest Figure Template_1 column_01-06-12 Add to Reading List Source URL: techdigest.jhuapl.edu Download Document from Source Website File Size: 1,57 MB Share Document on Facebook

	� 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
	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY DocID: 1rf2e - View Document
	Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991 DocID: 1rbJr - View Document
	Tracing in REDUCE Herbert Melenk Konrad–Zuse–Zentrum f¨ ur Informationstechnik Berlin Takustraße 7 DocID: 1r2pW - View Document
	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