Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
The Logical Basis of Evaluation Order and Pattern-Matching
 

Summary: The Logical Basis of
Evaluation Order and Pattern-Matching
Noam Zeilberger
CMU-CS- -
April 17, 2009
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Thesis Committee:
Frank Pfenning, co-chair
Peter Lee, co-chair
Robert Harper
Paul-André Mellies, Université Paris VII
Submitted in partial fulfillment of the requirements
for the degree of Doctor of Philosophy.
Copyright c 2009 Noam Zeilberger
Abstract
An old and celebrated analogy says that writing programs is like proving the-
orems. This analogy has been productive in both directions, but in particular has
demonstrated remarkable utility in driving progress in programming languages, for

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

 

Collections: Mathematics