A Versatile, Sound Tool for Simplifying Definitions Alessandro Coglio Matt Kaufmann Kestrel Institute

First Page		Document Content
Date: 2017-04-21 01:19:46 Computer programming Software engineering Computing Lisp Functional languages Subroutines Programming languages Data types Functional programming Defun ACL2 Cons		A Versatile, Sound Tool for Simplifying Definitions Alessandro Coglio Matt Kaufmann Kestrel Institute Add to Reading List Source URL: www.kestrel.edu Download Document from Source Website File Size: 179,37 KB Share Document on Facebook

	Earlier version appears in: Proceedings of the Fifth International Lisp Users and Vendors Conference, Boston, MA, Literate Engines in Lisp Raja Sooriamurthi Computer Science Department, Lindley Hall, 215 Indiana U DocID: 18PYI - View Document
	ICFP 2008 Summary Schedule Saturday, September 20, 2008 Continental Breakfast 08:00 – 09:00 09:00 – 10:30 DocID: 1844z - View Document
	Form & Function in Software Richard P. Gabriel phd mfa <1> DocID: 15nbJ - View Document
	The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onagan DocID: 13TS7 - View Document
	A Tutorial For Creating and Publishing Open Source Lisp Software Robert Smith Secure Outcomes IncEvergreen Pkwy Ste 200 Evergreen, COUSA DocID: 13mJt - View Document