1
컴퓨터 언어 표현과 관련된 정보/연구에 대한 조언이 있으십니까? 의미론 같은 방식으로 구문 요구 사항은 코드화 된/마크 업 표기법 (예 : EBNF)?프로그래밍 언어 의미 표현 (AST -> ASG)
감사합니다.
A
답변
3
이 문제에 대한 많은 연구 자료가 있습니다. 피터 모스 (Peter Mosses)는 액션 시맨틱 스이라는 책을 썼습니다. 피터 리 (Peter Lee)와 앤드류 아펠 (Andrew Appel)은 모두 의미론에 대한 공식적인 설명으로부터 컴파일러를 생성하는 것에 관한 박사 학위 논문을 발표했다. 나는 Peter가 책으로 나왔다고 생각해.
콜로라도의 Bill Waite의 그룹은 렉싱에서 파싱부터 의미론까지 모든 것을 다루는 Eli라는 컴파일러 구축 툴킷을 수행했습니다. 속성 문법에 대한 Tom Reps의 연구는 다른 것들과 비교하여 언어 의미론에 도움이되었습니다. 속성 문법을 사용하는 일부 유럽 저작물도 있었지만 두문자어 또는 사람들을 기억할 수는 없습니다. 속성에
- 돈 크 누스의 원래 종이 문법
- 피터 리 논문
- 엘리
- 어쩌면 피터 이끼의 책을 포함 할 수 있습니다에 난을 rememeber 것 같다 있지만
좋은 장소, 발가락을 찍어 그것이 무거운 것을 발견했다
1
벤자민 피어스의 책 Types and Programming Languages는 좋은 장소 다 시작한다. 그것은 프로그래밍 언어의 형식적인 명세로서 "작고 조작적인 의미의 의미 (operational small step semantics)"를 사용합니다.
다른 좋은 리소스는 John Boyland's PHD thesis 일 수 있습니다.
그는 속성 문법을 사용하여 전체 컴파일러를 생성 할 수있는 APS라는 시스템을 개발했습니다.
위키 피 디아에는 공식 의미에 대한 정보가 있습니다. http://en.wikipedia.org/wiki/Formal_semantics_of_programming_languages – Nat