Programming with Higher-Order Logic

Name: Programming with Higher-Order Logic
Brand: Cambridge University Press
SKU: 9780521879408
Price: 22264 HUF
Availability: InStock

Szerző: Dale Miller

Nyelv:

Kötés: Kemény kötésű

Kiadó: Cambridge University Press

Elérhetőség: Beszállítói készleten

Küldés 10-18 napon belül

22 264 Ft

Formal systems that describe computations over syntactic structures occur frequently in computer sci...

Információk a könyvről

Szerző

Dale Miller

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2012

oldal

320

EAN

9780521879408

ISBN

052187940X

Enbook ID

01234526

Kiadó

Cambridge University Press

Súly

616

Méretek

160 x 237 x 23

Teljes leírás

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

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Programming with Higher-Order Logic

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták