Nonficionado Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Original Essays | May 5, 2015

    Leonard Mlodinow: IMG The Fragility of Grand Discoveries



    When I was in graduate school at Berkeley I was offered a prestigious fellowship to study for a year in Germany, but I decided it would be a... Continue »
    1. $19.57 Sale Hardcover add to wish list

    spacer
Qualifying orders ship free.
$87.75
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
6 Remote Warehouse Software Engineering- Programming and Languages

This title in other editions

Programming with Higher-Order Logic

by

Programming with Higher-Order Logic Cover

 

Synopses & Reviews

Publisher Comments:

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called Prolog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and -terms and -calculus expressions can be encoded in Prolog.

Product Details

ISBN:
9780521879408
Author:
Miller, Dale
Publisher:
Cambridge University Press
Subject:
Software Engineering - Programming and Languages
Publication Date:
20120631
Binding:
HARDCOVER
Language:
English

Related Subjects

Computers and Internet » Computer Languages » Prolog
Computers and Internet » Software Engineering » Object Oriented Programming
Computers and Internet » Software Engineering » Programming and Languages
History and Social Science » Military » General History

Programming with Higher-Order Logic New Hardcover
0 stars - 0 reviews
$87.75 In Stock
Product details pages Cambridge University Press - English 9780521879408 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.