대수 의미론(컴퓨터 과학)

이 글을 대수적 의미론(수학적 논리학)으로 병합할 것을 제안하였다. (토론) 2021년 8월 이후 제안

컴퓨터 과학에서 대수적 의미론은 프로그램 의미학을 형식적으로 기술하고 추론하기 위한 대수 법칙에 근거한 자명 의미론의 한 형태다.

참고 항목

• OBJ(프로그래밍 언어)
• 요제프 고건

참조

• Eric G. Wagner (1995). "Algebraic Semantic". In Samson Abramsky; Dov M. Gabbay; Thomas S. E. Maibaum (eds.). Handbook of Logic in Computer Science: Semantic structures. 3. Clarendon Press. ISBN 9780198537625.
• Joseph Goguen; Grant Malcolm (1996). Algebraic semantics of imperative programs. MIT Press. ISBN 9780262071727.

이 컴퓨터 과학 기사는 단조롭다. 위키피디아를 확장하여 도울 수 있다.

• v
• t

${\displaystyle \Gamma \vdash x:{\text{int}}$

이 프로그래밍 언어 이론이나 유형 이론 관련 기사는 단조롭다. 위키피디아를 확장하여 도울 수 있다.

• v
• t