«operational-semantics» 태그된 질문

강력한 정규화 증거에 대해 논의하는 동안 이 의견 은 "정상적인 형식 모델"과 "순전히 구문론적인 방법"을 대조합니다. 이것은 구문에 기초한 모델에 직면하여 구문과 의미 론적 구조를 엄격하게 구별 할 수 있는가? 대수학에 대한 용어 모델, 1 차 논리에 대한 Henkin 모델은 어떻습니까? 구조적 작동 의미론은 어떻습니까? 용어 모델은 구문에 대해 동형이 …

14 lo.logic  pl.programming-languages  operational-semantics 

페이지 "고급 계획 : 일부 장난 꾸러기 비트" 상태 : 연속은 거의 모든 다른 제어 흐름 구조 [...]가 도출 될 수 있는 강력한 제어 흐름 구조입니다. call/ccPeter Landin의 J 연산자와 관련된 Scheme이 알려진 제어 흐름 구조 를 구현 하는 데 사용될 수 있다고 생각 했습니까? "제어 흐름 구조" 를 사용하여 …

13 lambda-calculus  denotational-semantics  scheme  operational-semantics 

정확성 증명, 나는 프로그램 등가의 가능한 개념을 찾고 있어요 Barendregt의 순수 타입 시스템 (PTS 값)에 대한; 충분한 특정 유형 시스템의 경우 누락되었습니다. 내 목표는 단순히 개념을 사용하는 것이지, 그 자체로 조사하지 않는 것입니다.≅≅\cong 이 개념은 " 확장 적 " 이어야합니다 . 특히 임을 증명하려면 t 1 을 증명하기에 충분해야합니다.t1≅t2t1≅t2t_1 \cong …

11 pl.programming-languages  type-theory  operational-semantics 

프로그래밍 언어 의미론에서 사람들은 의미 와 의미 에 대해 이야기한다고 들었습니다 . 그들은 같지 않은 것 같습니다. 차이점은 무엇입니까? 전자는 연산 의미론과 관련이 있고 후자는 명칭 의미론과 관련이 있습니까? 감사.

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics