Programming with Higher-Order Logic
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Uitgever: Cambridge University Press
Auteur:
Dale Miller
Gopalan Nadathur
- Engels
- Hardcover
- 9780521879408
- 11 juni 2012
- 320 pagina's
Samenvatting
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.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Hardcover
- Oorspronkelijke releasedatum
- 11 juni 2012
- Aantal pagina's
- 320
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- Dale Miller
- Tweede Auteur
- Gopalan Nadathur
- Hoofduitgeverij
- Cambridge University Press
Overige kenmerken
- Extra groot lettertype
- Nee
- Product breedte
- 152 mm
- Product hoogte
- 19 mm
- Product lengte
- 229 mm
- Studieboek
- Ja
- Verpakking breedte
- 158 mm
- Verpakking hoogte
- 236 mm
- Verpakking lengte
- 235 mm
- Verpakkingsgewicht
- 550 g
EAN
- EAN
- 9780521879408
Je vindt dit artikel in
- Categorieën
- Taal
- Engels
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Studieboeken
Kies gewenste uitvoering
Kies je bindwijze
(2)
Prijsinformatie en bestellen
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.