P1: MVG SFI P2: MVG LISP and Symbolic Computation - Lisp - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-10-22 08:05:00 Compiler construction Procedural programming languages Programming language implementation Functional languages Lisp programming language Compiler Partial evaluation Code generation Lisp Programming language theory Software engineering Computing		P1: MVG/SFI P2: MVG LISP and Symbolic Computation Add to Reading List Source URL: repository.readscheme.org Download Document from Source Website File Size: 314,14 KB Share Document on Facebook

	Towards Self-Verification in Finite Difference Code Generation Jan H¨ uckelheim1 , Ziqing Luo2 , Fabio Luporini1 ,Navjot Kukreja1 , Michael Lange1 , Gerard Gorman1 , Stephen Siegel2 , Matthew Dwyer3 , Paul Hovland4 DocID: 1xU2H - View Document
	Pattern Matches in HOL: A New Representation and Improved Code Generation Thomas Tuerk1 , Magnus O. Myreen2,3 , and Ramana Kumar3 2 1 DocID: 1xTMP - View Document
	Automatic Documentation Generation via Source Code Summarization of Method Context Paul W. McBurney and Collin McMillan Department of Computer Science and Engineering University of Notre Dame Notre Dame, IN, USA DocID: 1vjhq - View Document
	EUROTeV-Memo-2005-xxx-1 HTGEN - Halo and Tail Generator Task Manager: H. Burkhardt (CERN) The objective is to develop and collect information and code on halo and tail generation relevant for linear colliders. This wor DocID: 1v53n - View Document
	Code Generation for Embedded Convex Optimization Jacob Mattingley Stanford University October 2010 DocID: 1uZJR - View Document