Types in Logic Programming 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

☆☆☆☆☆
簡體網頁||繁體網頁

Pfenning, Frank 編作者

The MIT Press

譯者

1992-06-12 出版日期

380 頁數

USD 62.00 價格

Hardcover

叢書系列

9780262161312 圖書編碼

Types in Logic Programming 在線電子書圖書標籤: 理論計算機科學

喜歡 Types in Logic Programming 在線電子書的讀者還喜歡

下載鏈接在頁面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-09-06

Types in Logic Programming 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

Types in Logic Programming 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

Types in Logic Programming 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

Types in Logic Programming 在線電子書用戶評價

評分☆☆☆☆☆

Types in Logic Programming 在線電子書著者簡介

Types in Logic Programming 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

Types in Logic Programming 在線電子書圖書描述

Type theory is a well-established branch of theoretical computer science that has played an important role in the development of imperative and functional programming languages. This collection of original research papers assesses and summarizes the impact of types on logic programming. It covers all of the major themes in this burgeoning field, including simple types, regular tree types, polymorphic types, subtypes, and dependent types. Language design issues as well as semantics, pragmatics, and applications of types are discussed.The benefits that type considerations have to offer logic programming are being increasingly realized: through type checking many errors can be caught before a program is run, resulting in more reliable programs; types form an expressive basis for module systems, since they prescribe a machine-verifiable interface for the code encapsulated within a module; and types may be used to improve performance of code generated by a compiler. The research in this collection describes these benefits as well as important differences in the impact of types in functional and logic programming.Frank Pfenning is Research Computer Scientist in the School of Computer Science at Carnegie Mellon University.

Types in Logic Programming 在線電子書下載 mobi epub pdf txt 在線電子書下載

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!