# AST (추상 구문 트리) ## 개요 **AST**(Abstract Syntax Tree, 추상 구문 트리)는 컴퓨터 과학, 특히프로그래밍 언어 처리**(Programming Language Processing)와 **컴파일러 설계** 분야 핵심적인 데이터 구조입니다. AST는 소스 코드의 문법적 구조를 **계층적이고 구조화된 트리 형태**로 표현하...
검색 결과
"컴파일러 설계"에 대한 검색 결과 (총 6개)
Agda Agda는 함수형 프로그래밍 언어이자 **정형 증명기**(proof assistant)로, 수학적 정리의 형식적 증명과 소프트웨어의 정확성 검증을 위해 설계된 고급 언어입니다. Agda는 **의존 타입**(dependent types)을 지원하여, 프로그램의 구조와 논리적 성질을 타입 시스템에 직접 반영할 수 있어, 프로그램이 요구된 사양을 만족...
# 타입 이론타입 이론 Theory)은 프로그래밍 언어 수학 기초 이론에서 중요한 역할을 하는 학문 분야로, 데이터의 종류(타입를 체계적으로 정의하고, 이들 간의 관계와 연산의 유효성을 검증하는 이론적 기반을 제공합니다. 특히 프로그래밍 언 설계, 형식적 검증 컴파일러 개발, 함수형 프로그래밍 등에서 핵심적인 역할을 하며, 오류를 사전에 방지하고 코드의 안...
# Types and Programming Languages ## 개요 《**Types and Programming**(이하 *TAPL*)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 **타입 이론**(type the...
# 타겟 코드 생성 겟 코드 생성(Target Code Generation)은 컴파일러 핵심 단계 중 하나로, 소스 코드를 특정 하웨어 아키텍 또는 가상 머신에서 실행 가능한 기계어 코드 또는 저수준 코드로 변환하는 과정을 의미합니다. 이 단계는 일반적으로 **중간 코드**(Intermediate Code)를 입력으로 받아, 대상 플랫폼(타겟)에 맞는 최...
# ELF ## 개요 ELF(**Executable and Linkable**)는 유닉스 계열 운영체제(Unix-like OS)에서 주로 사용되는 표준 파일 형식으로, 프로그램의 실행 파일, 공유 라이브러리, 오브젝트 파일(object files), 코어 덤프(core dumps) 등을 저장하는 데 활용됩니다. 1990년대 초반에 개발되어 System ...