다양한 프로그래밍 언어 기능의 의미에 대한 조사가 있습니까?

다양한 프로그래밍 언어 기능의 의미에 대한 설문 조사 (서류, 서적, 튜토리얼, 링크 등)가 있습니까? 나는 원래 http://www.digitalmars.com/d/2.0/comparison.html 에서 D의 기능에 압도되었습니다 .

stackoverflow에 대해 비슷한 질문을 하고이 두 사이트가 다른 관점을 가지고 있음을 이해 했지만 여기에서 얻을 수있는 것을보고 싶습니다 .

답장을 보내 주셔서 감사합니다! 메타에 대한 그의 제안에 대해 Dave Clarke에게 감사드립니다 !

프로그래밍 언어의 의미론을 다루는 많은 책이 있지만 다양한 언어 기능의 의미론에 대한 조사는 모르겠습니다. 보다 포괄적 인 것들 중 일부는 덜 표준적인 구성도 처리합니다.

• Franklyn Turbak, David Gifford 및 Mark Sheldon의 프로그래밍 언어 설계 개념 . 다양한 언어 구성의 의미로 가득 찬 매머드 책.

• Peter Van Roy와 Seif Haridi 의 컴퓨터 프로그래밍의 개념, 기법 및 모델 . 이 책은 주로 언어 Oz의 개념에 중점을 둡니다. 책의 모든 예제가 실행됩니다. 이 책의 끝에는 언어 구성의 형식적 의미에 대해 논의하는 장이 있습니다.

다양한 프로그래밍 언어 구문보다는 의미 기술에 중점을 둔보다 고전적인 텍스트는 다음과 같습니다.

• Benjamin Pierce의 유형과 프로그래밍 언어 . 타입 시스템에 관한 책. 주로 유형 언어의 정교함을 높이면서 기능적 언어 구성에 중점을 둡니다. 또한 Java의 핵심 미적분학 인 Featherweight Java도 다룹니다.

• Hans Huttel의 전환과 나무 . 복잡성이 증가하는 다양한 언어 구성을 다루는 운영 의미론에 대한 훌륭한 소개.

• Hanne Riis Nielson과 Flemming Nielson의 응용 프로그램 을 사용한 의미 체계 명백하지 않은 응용 프로그램을 포함하여 다양한 시맨틱 스타일에 대한 소개. 대단한 읽기!

• David A Schmidt 의 유형화 된 프로그래밍 언어의 구조 . 견고한 기초 책.

• 프로그래밍 언어의 의미 : Carl A Gunter의 구조와 기법 . 또 다른 견고한 기초 책.

마지막으로, 다운로드가 가능하고 실무적 으로 다운로드 가능한 Bob Harper의 Practical Foundations for Programming Languages 는 다양한 프로그래밍 언어 기능을 모두 다루므로 모든 것이 공식화되도록 보장합니다.

더 구체적인 질문을하면 더 구체적인 답변을 얻을 수 있다고 덧붙여 야합니다. 많은 과학 논문이 다양한 프로그래밍 언어 기능에 의미를 부여하고 있습니다. 특정 기능에 관심이 있다면 해당 기능에 대해 한두 장을 파헤칠 수 있습니다.

운영 시맨틱에 대한 또 다른 좋은 책은 Matthias Felleisen, Robby Findler 및 Matthew Flatt의 PLT Redex를 사용한 Semantics Engineering입니다 . 축소 시맨틱 및 추상 기계에 대한 교과서 처리로 시작하고 프로그래밍 언어의 시맨틱을 모델링하기 위해 Redex 도구 사용을 다룹니다.