Languages Compilers · Language Theory & Type Systems

언어의 문법 구조를 정의하는 구문론과 의미를 부여하는 의미론, 그리고 안전성을 담보하는 타입 이론의 기초를 다루는 학습 노드입니다.

동시성 모델과 형식 기법을 통해 병렬 실행의 의미, 안전성, 진행성, 구현 trade-off를 정리한 CS&E 학습 노드입니다.

함수형 프로그래밍 패러다임이 상태 변화보다 값 변환과 합성을 중심에 두는 방식을 정리한 학습 노드입니다.

문법과 의미론이 프로그램 텍스트를 구조와 의미로 해석하는 방식을 정리한 언어 이론 학습 노드입니다.

타입 시스템과 정적 분석이 실행 전 프로그램 성질을 검증하는 방식을 정리한 언어 이론 학습 노드입니다.