タグ

logicとozに関するnsyeeのブックマーク (1)

  • Tutorial of Oz

    このチュートリアルは、プログラミング言語 Oz とMozart プログラミングシステムへの導入のためのものです。Oz は、先進、並行(concurrent)、ネットワーク、ソフトリアルタイム(soft real-time)、そしてリアクティブアプリケーション(reactive application)のためにデザインされたマルチパラダイム言語(multi-paradigm language)です。Oz はオブジェクト指向プログラミング(object-oriented programming)の顕著な特徴である、状態(state)、抽象データ型(abstract data type)、オブジェクト(object)、クラス(class)、そして継承(inheritance)を提供します。また関数型プログラミング(functional programming)の顕著な特徴である、合成構文(com

  • 1