*Lisp - PDFSEARCH.IO - Document Search Engine

*Lisp
Results: 1687

#	Item
641	Source-to-Source Compilation in Racket You Want it in Which Language? Tero Hasu Matthew Flatt Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Functional languages Programming language implementation Transformation languages Racket Lisp programming language Cross-platform software Macro Hygienic macro Scheme Software engineering Computing Computer programming
642	Programming in Yacas by the Yacas team 1 Yacas version: 1.3.6 Add to Reading List Source URL: yacas.sourceforge.net Language: English - Date: 2014-11-25 15:54:56 Functions and mappings Functional languages Lisp programming language Function Lisp Expression Eval Derivative Term Software engineering Computing Computer programming
643	“Contrariwise,” continued Tweedledee, “if it was so, it might be; and if it were so, it would be; but as it isn’t, it ain’t. That’s logic.” 6 True and False Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:13 Predicate logic Functions and mappings Function Scheme Predicate Test Lisp Conditional Logic Mathematics Mathematical logic
644	Automatic Verification for Interactive Graphical Programs Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Formal methods Functional languages Cross-platform software Automated theorem proving ACL2 Common Lisp Formal verification Lisp Software engineering Computing Computer programming
645	Software Fault Prevention by Language Choice: Why C is Not My Favorite Language Richard Fateman∗ Computer Science Division Electrical Engineering and Computer Sciences Dept. University of California, Berkeley Add to Reading List Source URL: http.cs.berkeley.edu Language: English - Date: 2004-04-02 13:46:35 Lisp programming language Functional languages Common Lisp Data types Computer workstations Lisp Genera Assignment Preprocessor Computing Software engineering Computer programming
646	CREDIT CARD AUTHORITY The Treasurer Lithgow & District Family History Society Inc PO Box 516 Lithgow NSW 2790 Please debit the sum of $…………………………..to my Add to Reading List Source URL: www.lisp.com.au Language: English - Date: 2010-07-02 20:25:48 Financial services Fee Visa Inc. MasterCard Payment Credit cards Business Economics
647	From Soft Scheme to Typed Scheme: 20 Years of Scripts-toProgram Conversion Matthias Felleisen, PLT & NU PRL Robert “Corky” Cartwright Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-07-13 21:37:04 Lisp programming language Lisp Type system Scheme Functional programming CAR and CDR Software engineering Programming language theory Computer programming
648	Using Polymorphism to Improve Expert Systems Maintainability John Yen, MEMBER, IEEE Hsiao-Lei Juang Department of Computer Science Texas A&M University Add to Reading List Source URL: www.isi.edu Language: English - Date: 2000-03-31 18:42:48 Computing Method Object LOOM Common Lisp Object System Class This Generic function Software engineering Object-oriented programming Computer programming
649	A Module System for Scheme Pavel Curtis Xerox Palo Alto Research Center 3333 Coyote Hill Rd. Palo Alto, CA[removed]removed] Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 1998-08-18 14:05:58 Functional languages Cross-platform software Source code Lisp programming language Procedural programming languages Modula-3 Scheme Programming language Hygienic macro Software engineering Computing Computer programming
650	Toward a Practical Module System for ACL2 Carl Eastlund and Matthias Felleisen Northeastern University Boston, Massachusetts, U.S.A. {cce, matthias}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Holism ACL2 Formal methods Model theory Automated theorem proving Nqthm Common Lisp Modular programming Software engineering Computer programming Computing

UPDATE