0

My Bag

0.00

Download App

Equational Logic as a Programming Language (Foundations of Computing) 14.0%OFF

Equational Logic as a Programming Language (Foundations of Computing)

by Michael J. O'Donnell

  • ISBN

    :  

    9780262150286

  • Publisher

    :  

    The MIT Press

  • Subject

    :  

    Computer Programming / Software Development, Mathematics, Education

  • Binding

    :  

    HARDCOVER

  • Pages

    :  

    250

  • Year

    :  

    1985

3726.0

14.0% OFF

3204.0

We are currently not accepting orders due to COVID-19 and will be back soon.

Shipping charges are applicable for books below Rs. 101.0

View Details

Estimated Shipping Time : 5-7 Business Days

View Details

Share it on

  • Description

    This book provides a comprehensive description of the theoretical foundations, design, and implementation of an innovative logic programming language in which computations are produced directly from equational definitions. Like LISP and Prolog, the equational programming language is based on the concept that a programmer should give a mathematical description of the result of a computation rather than a series of commands to direct a computation. Unlike LISP and Prolog, however, the equational programming language strictly follows the rules of equational logic, providing powerful programming techniques not available in conventional languages. Equational Logic as a Programming Language covers the entire spectrum of theoretical and applied work involved in eight years of designing and implementing the equational logic programming language. Separate chapters cover the intuitive logical semantics of the language, the powerful programming techniques supported by it and their connections to procedural techniques such as coroutines, the methods used to produce a highly flexible implementation of the language with very little manpower, and the potential for implementation on parallel computers. Michael J. O'Donnell is Associate Professor of Computer Science at The Johns Hopkins University, on leave from Purdue University. Equational Logic as a Programming Language is included in the Foundations of Computing Series, edited by Michael Garey.

Related Items

-

of

  • OFFER

    The Book of Numbers

    Devi Shakuntala

    Starts At

    135.0

    165.0

    18% OFF

  • OFFER

    ASP.NET: Developer's Guide

    Greg Buczek

    Starts At

    877.0

    1070.0

    18% OFF

  • OFFER

    Visual C++ Programming

    Yashavant P. Kanetkar

    Starts At

    288.0

    390.0

    26% OFF

  • OFFER

    Maths: Bk. 5

    Shirley Dyall

    Starts At

    55.0

    56.0

    1% OFF

  • OFFER

    Integrated Telecommunications Management Solutions

    Graham Chen

    Starts At

    5494.0

    10773.0

    49% OFF

  • OFFER

    Making Decisions

    D. V. Lindley

    Starts At

    5990.0

    8206.0

    27% OFF

  • OFFER

    Modeling and Asynchronous Distributed Simulation: Analyzing Complex Systems

    Sumit Ghosh

    Starts At

    588.0

    795.0

    26% OFF

  • OFFER

    WritingBetter Requirements

    Ian Alexander

    Starts At

    7217.0

    8393.0

    14% OFF

  • OFFER

    Man Who Knew Infinity

    Robert Kanigel

    Starts At

    449.0

    599.0

    25% OFF

  • OFFER

    Designing Concurrent, Distributed, and Real-Time Applications with UML

    Hassan Gomaa

    Starts At

    6079.0

    7999.0

    24% OFF

  • OFFER

    Celebrating Dreams : Weddings in India

    Vandana Bhandari

    Starts At

    393.0

    525.0

    25% OFF

  • OFFER

    English OA

    Swathanthra Sakthivel

    Starts At

    57.0

    59.0

    2% OFF

  • OFFER

    Millennium English STD 5: Readers

    Vimla Chandrashekharan

    Starts At

    62.0

    65.0

    4% OFF

  • OFFER

    Grammar and Composition: Bk. 1

    Robert Bellarmine

    Starts At

    72.0

    80.0

    9% OFF

  • OFFER

    Grammar and Composition: Bk. 2

    Robert Bellarmine

    Starts At

    72.0

    80.0

    9% OFF

  • OFFER

    Grammar and Composition: Bk. 4

    Robert Bellarmine

    Starts At

    66.0

    72.0

    7% OFF

  • OFFER

    Grammar and Composition: Bk. 5

    Robert Bellarmine

    Starts At

    72.0

    80.0

    9% OFF

© 2016, All rights are reserved.

Subscribe to Our Newsletter

 

Are you sure you want to remove the item from your Bag?

Yes

No

Added to Your Wish List

OK

Your Shopping Bag

- Bag Empty

Your Bag is Empty!!

Item

Delivery

Unit Price

Quantity

Sub Total

Shipping Charges : null Total Savings        : Grand Total :

Order Summary