新品:

￥5,478

配送料 ¥257 4月7日-12日にお届け
詳細を見る

お届け先を選択

残り1点ご注文はお早めに在庫状況について

￥￥5,478 () 選択したオプションを含めます。最初の月の支払いと選択されたオプションが含まれています。詳細

出荷元

SmallerWorldFuture

出荷元

SmallerWorldFuture

販売元

SmallerWorldFuture

（2386件の評価）

販売元

SmallerWorldFuture

（2386件の評価）

支払い方法

お客様情報を保護しています

支払い方法

お客様情報を保護しています

Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。詳細はこちら

詳細はこちら

すべて見る

画像はありません

選択したカラーの画像がありません。
カラー：

このビデオを見るには、次をダウンロード Flash Player

著者をフォロー

Ian A. Mason

フォロー

The Semantics of Destructive Lisp (Center for the Study of Language and Information Publication Lecture Notes) ペーパーバック – 1987/4/30

英語版 Ian A. Mason (著)

すべての形式と版を表示

{"desktop_buybox_group_1":[{"displayPrice":"￥5,478","priceAmount":5478.00,"currencySymbol":"￥","integerValue":"5,478","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"VI6IW5dabtyeQKOv2yCqkSQhyQIWGt0RB47Dv6mGwkMGZ2xrqDwagR5OWuC5G2sMTdpVR2DZNtNaX1b4Y4cEQAw5nNdHtpv7d%2F7OmW7XMuSSh7wN6u2BS%2FwfKA4HM6vUT%2FNQBrjbs7IUSwtJlisSl66gj42wz0NH1k5c9MjQ%2F4y%2FnhxyIuBBcUbk8YL7A3fo","locale":"ja-JP","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}]}

購入オプションとあわせ買い

While the semantics of 'pure' lisp is well understood, the same cannot be said for the lisp that people actually use, due to the presence of so-called 'destructive operations' in programs, operations like RPLACA and RPLACD that destructively manipulate data. Such destructive operations have caused considerable difficulty in bridging the gap between theory program verification, and program transformation. In this book, Ian A. Mason aims at squaring theory with practice by first developing a theory that respects practice and then improving practice within this theory. Mason's theory is based on a new notion of memory structure that is adequate to model such destructive operations. Within this framework, he investigates various equivalence relations between expressions in first order lisp. This fragment of lisp includes the destructive operations of RPLACA and RPLACD. Mason then defines some important equivalence relations in lisp programs within this model theoretic framework. Throughout the work, Mason makes a distinction between intensional relations and extensional relations.

この商品に関する問題を報告する

本の長さ

294ページ
言語

英語
出版社

The Center for the Study of Language and Information Publications
発売日

1987/4/30
寸法

15.24 x 2.03 x 22.86 cm
ISBN-10

0937073067
ISBN-13

978-0937073063
すべての詳細を表示

登録情報

出版社 ‏ : ‎ The Center for the Study of Language and Information Publications (1987/4/30)
発売日 ‏ : ‎ 1987/4/30
言語 ‏ : ‎ 英語
ペーパーバック ‏ : ‎ 294ページ
ISBN-10 ‏ : ‎ 0937073067
ISBN-13 ‏ : ‎ 978-0937073063
寸法 ‏ : ‎ 15.24 x 2.03 x 22.86 cm

著者について

著者をフォローして、新作のアップデートや改善されたおすすめを入手してください。

Ian A. Mason

Brief content visible, double tap to read full content.

Full content visible, double tap to read brief content.

著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう

この商品をレビュー

カスタマーレビューを書く

Amazon Advertising 商品の露出でお客様の関心と反応を引き出す	Audible（オーディブル）「聴く」読書会員なら聴き放題	アマゾンウェブサービス（AWS）クラウドコンピューティングサービス	Amazonアウトレット訳あり商品をお手頃価格で販売

Amazonビジネス（法人購買）請求書払い法人価格・数量割引	AmazonGlobal 65か国/地域以上への海外配送がより簡単に	Shopbop 世界中の厳選されたファッションアイテム

新品: ￥5,478

著者をフォロー

The Semantics of Destructive Lisp (Center for the Study of Language and Information Publication Lecture Notes) ペーパーバック – 1987/4/30

購入オプションとあわせ買い

登録情報

著者について

Ian A. Mason

カスタマーレビュー

この商品をレビュー

まだカスタマーレビューはありません

新品:

￥5,478