프로그래밍 언어의 형식적 의미

17

저는 프로그래밍 언어 이론에 익숙하지 않으며 프로그래밍 언어의 형식적 의미론을위한 리소스에 대한 좋은 리소스를 찾고 있습니다. 특히 구조적 작동 의미론을 찾고 있습니다. 책 추천을 받았습니다. 그러나 나는 더 입문적인 수준의 리소스를 찾고 있습니다. 특히 튜토리얼, 웹 사이트 및 무료 도서 권장 사항을 환영합니다.

reference-request  pl.programming-languages  semantics  formal-systems 
— 시스템
소스
2
— 데이브 클라크
나는 동일한 링크를 게시하려고하지만, 다음, 영업 이익은 이미 그들이 책 recos 있다고 언급 한 것으로 나타났습니다 및 기타 참고 문헌을 찾고 있었다되었다
— 수레 쉬 벤 카트

답변:

8

SOS (Structural Operating Semantics)는 매우 일반적인 개념입니다. 본질적으로 구성 (보통 프로그램과 상태, 또는 사용 가능한 연속과 같은 컨텍스트)에 대한 이진 관계이거나 레이블이 붙은 의미론의 경우 구성, 작업 (특정 최소 컨텍스트를 나타내는) 및 구성 간의 삼항 관계입니다. "구조적"비트는 일반적으로 이러한 관계가 관련된 구문 (예 : 구성 및 동작)에 대해 유도 적으로 정의됩니다.

따라서 다른 요구 사항이없는 한 SOS에서 고려하는 수학적 실체는 너무 일반적으로 흥미롭고 다루기 어렵습니다.

SOS는 우리가 특별한 경우, 예를 들어 시간 계산 미적분에 대한 동등성, 감소에 대응하는 비동기 대기 미적분학에 대한 분류 된 전이, 또는 특정 (분류) 미적분의 표현성에 관한 질문에 대해 볼 때 흥미롭고 실질적이됩니다.

따라서 Mrs / Ms Systemsfault에 대한 권장 사항은 일반 사항을 건너 뛰고 특정 관심 분야로 바로 이동하는 것입니다. 그 과정에서 일반적인 SOS 기술을 쉽게 선택할 수 있습니다.

— 마틴 버거
소스
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.