Programming Languages & Compilers
추상화의 도구인 프로그래밍 언어의 설계 원리와 이를 기계어로 변환하는 컴파일러의 내부 메커니즘을 정의하는 학습 노드입니다.
용어6
language-theory
이 용어로 연결된 기록을 섹션별로 살펴봅니다.
Language Theory & Type Systems
언어의 문법 구조를 정의하는 구문론과 의미를 부여하는 의미론, 그리고 안전성을 담보하는 타입 이론의 기초를 다루는 학습 노드입니다.
동시성 모델과 형식 기법 (Concurrency Models & Formalism)
동시성 모델과 형식 기법을 통해 병렬 실행의 의미, 안전성, 진행성, 구현 trade-off를 정리한 CS&E 학습 노드입니다.
함수형 프로그래밍 패러다임 (Functional Programming Paradigms)
함수형 프로그래밍 패러다임이 상태 변화보다 값 변환과 합성을 중심에 두는 방식을 정리한 학습 노드입니다.
문법과 의미론 (Grammar & Semantics)
문법과 의미론이 프로그램 텍스트를 구조와 의미로 해석하는 방식을 정리한 언어 이론 학습 노드입니다.
타입 시스템과 정적 분석 (Type Systems & Static Analysis)
타입 시스템과 정적 분석이 실행 전 프로그램 성질을 검증하는 방식을 정리한 언어 이론 학습 노드입니다.