記述対象を、単相の同期式回路に絞っていること、プロセッサのパイプライン等の記述を意識した、ステートマシンを記述できる言語機能を持っていること、などの特徴がある。構文.意味.歴史.仕様.実装.ボンドサイクル概要.ボンドの研究方法.気候変動を研究する際、氷床コア標本を用いられることが多かったが、急激な温暖化という事象が記録されているのは岩床地面にきわめて近いところの氷であり、そこでは流れによる氷の薄くなり方がひどく、記録の読み方が困難であり、凸凹の岩床を流れていたことで記録が歪められているかもしれないという心配もあった。また、多くの氷床コアが採取される中央グリーンランドでの高い降雪スピードは過去十一万年の歴史を人強いし、年数を数えることを可能にしたが、一方で氷床を巨大にし急勾配にもした。そのため流れが速くなり、より古い氷を薄くし歪められてしまうため、より古い氷は折りたたまれるなどして記録がかき乱され、継続性がなくなってしまうという欠点がある。本当に長い期間の記録や、氷床コアには記録されない海の営みについて知るためには、海底の堆積物を研究する必要がある。そこでジェラード・ボンドはなるべく海の泥の部分を虫によってかき乱されていない堆積物のコア標本を見つけ、それによって北大西洋が過去にどれほど寒かったかをコア標本中にある温暖な気候を好む生物と寒冷な気候を好む生物の殻の量を比較することによって測定した。彼はまたコア標本中の石の数を数えた。石を大西洋の真ん中まで運ぶ唯一の方法は、石を氷山の底に入れて運び、氷山が融けると石が落ちるというものであるので、氷山の情報を得ることができるからである。原因.