ロジックやオブジェクト指向の数学

可能性の重複：
Is OOP based on any branch of mathematics?ロジックやオブジェクト指向の数学

これは、伝えられるところでは、奇妙な質問です：オブジェクト指向のパラダイムのための任意の数学的/論理基盤があります？そしてもしそうなら、それについての紙/本がありますか？おかげさまで

2011-01-15 Dervin Thunk

[cstheory]（http：//cstheory.stackexchange.com/） – huitseeker

でより良い回答が得られるかもしれません。これは奇妙な質問ではなく、面白いです！たぶんタイルを変えてプレフィックスを捨てることができますか？ –

@ブリュノ。完了！そしてもう2つ。 –

オブジェクト指向のパラダイムは、リレーショナルデータベースとは異なり、数学的な理論から導き出されたものではなく、実際にはプロセスをシミュレートするために発明されました（Simula）。人々は、既存の言語を磨くか修正することができ、素敵な理論的性質が明らかになるように、良い数学的基礎を見つけることを試みています。

「抽象データ型」に関する作業は、そのような考え方です。おそらくオブジェクト指向性を見る他の数学的方法があります。 Bertrand Meyerの第2版「オブジェクト指向ソフトウェア構築」でいくつかの情報を見つけました。

出典

2011-01-15 10:59:53

この分野では多くの作業が行われています。私が知っている特定の論文の1つは、キャセリーンフィッシャーの博士論文です（私はここにlink to her CVを持っていますが、私は論文自体を入手する方法はわかりません）。私はこの分野で多くの基礎を築いたと信じています。

出典

2011-01-15 09:48:12 templatetypedef

優れています。ありがとう。私は彼女にそれを求めます。 –

MartínAbadiとLuca Cardelliによって研究されたオブジェクト計算法があります。彼らには、A Theory of Objectsという本があり、論文の "related work"リンクを参照してください。

出典

2011-01-15 14:35:39

ロジックやオブジェクト指向の数学

答えて

関連する問題