programming-languages-compilers

C 및 Modern C++ Deep Dive의 정의, 범위, 선행 지식, 학습 주제, 참고 근거를 정리한 CS&E 학습 노드입니다.

Go Concurrency 및 런타임의 정의, 범위, 선행 지식, 학습 주제, 참고 근거를 정리한 CS&E 학습 노드입니다.

고성능 최적화(SIMD-Zero-copy)의 정의, 범위, 선행 지식, 학습 주제, 참고 근거를 정리한 CS&E 학습 노드입니다.

Rust Safety 및 Ownership의 정의, 범위, 선행 지식, 학습 주제, 참고 근거를 정리한 CS&E 학습 노드입니다.

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

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

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