논리와 객체 지향의 수학

가능한 중복 :
Is OOP based on any branch of mathematics?논리와 객체 지향의 수학

이, 주장, 이상한 질문은 : 객체 지향 패러다임에 대한 수학/논리의 기초가 ? 그리고 그렇다면 그것에 관한 종이/책이 있습니까? 감사합니다. .

2011-01-15 Dervin Thunk

[cstheory] (http://cstheory.stackexchange.com/) – huitseeker

에서 더 좋은 답변을 얻을 수 있습니다. 이상한 질문이 아니며, 흥미로운 질문입니다! 타일을 바꿀 수 있고 접두사를 버릴 수 있을까요? –

@ 브루노. 끝난! 그리고 2 개 더. –

객체 지향 패러다임은 수학적 이론 (관계형 데이터베이스와 다름)에서 파생 된 것이 아니라 처음에는 실제적인 이유로 프로세스를 시뮬레이트하기 위해 발명되었습니다 (Simula). 사람들은 기존의 언어를 세련되거나 수정 될 수 있도록 좋은 수학적 기반을 찾기 위해 노력하고 있습니다. 훌륭한 이론적 특성이 밝혀 질 수 있습니다.

"추상 데이터 유형"에 대한 연구는 그러한 일련의 사고입니다. 아마도 객체 지향성을 관찰하는 다른 수학적 방법이있을 것입니다. Bertrand Meyer의 "Object Oriented Software Construction"2 판에서 몇 가지 정보를 발견했습니다.

출처

2011-01-15 10:59:53

이 분야에서 많은 작업이 이루어졌습니다. 제가 아는 한 특정 논문은 캐슬린 피셔 박사 학위 논문입니다 (저는 link to her CV을 가지고 있습니다. 그러나 논문 자체를 입수 할 방법을 모르겠습니다). 나는이 분야에서 많은 토대를 마련했다고 믿습니다.

출처

2011-01-15 09:48:12 templatetypedef

우수. 감사. 나는 그녀에게 그것을 요청할 것이다. –

Martín Abadi와 Luca Cardelli가 연구 한 대상 계산법이 있습니다. 그들은 책이 A Theory of Objects이고 논문에 대한 링크는 "related work"을 참조하십시오.

출처

2011-01-15 14:35:39

논리와 객체 지향의 수학

답변

관련 문제