お店のコメント(スペック情報を含む場合もあり)
内容説明 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.
商品ジャンル
商品名
最終調査日時
2015/08/01 (Sat) 20:34:22
価格の変動(直近3回 : ¥0は未調査回)
取得日時
販売価格
ポイント
実質価格
在庫状態
2015/08/01 (Sat) 20:34:22
¥8,907
0 %
¥8,907
通常2~4週間以内に発送します。
2014/07/06 (Sun) 04:46:26
¥6,791
0 %
¥6,791
2012/08/18 (Sat) 19:52:22
¥5,340
0 %
¥5,340
サイト内キーワード検索
商品名の検索は通常の商品検索ボックスで。
コメントやスペックなどから検索したい場合はこちらから。
コメントやスペックなどから検索したい場合はこちらから。
広告