# GAS **GAS**(GNU Assembler)는 GNU 프로트의 공식 어셈블로, 주로닉스 계열 운영제와 리눅스 환경에서 사용되는 저수준 프래밍 도구입니다. C, C 어셈블리 언어 등 작성된 소스 코드가 컴파일된 후 생성 어셈블리 코드를 기계어로환하는 역할을 수행합니다. GAS는 GNU Binutils 패키지의 핵심 구성 요소 중 하나이며, GCC(G...
검색 결과
"컴파일러 개발"에 대한 검색 결과 (총 6개)
# LLVM IR **LLVM IR**(LLVM Intermediate Representation)은 LLVMow Level Virtual Machine 프로젝트의심 구성 요소 중로, 소스를 기계어로 변환하는정에서 사용되는 **중간 코드**( Representation) 형식이다. LLVM IR은파일러가 다양한 프로그래밍 언어를 지원하고, 다양한 하드웨어...
# 타입 이론타입 이론 Theory)은 프로그래밍 언어 수학 기초 이론에서 중요한 역할을 하는 학문 분야로, 데이터의 종류(타입를 체계적으로 정의하고, 이들 간의 관계와 연산의 유효성을 검증하는 이론적 기반을 제공합니다. 특히 프로그래밍 언 설계, 형식적 검증 컴파일러 개발, 함수형 프로그래밍 등에서 핵심적인 역할을 하며, 오류를 사전에 방지하고 코드의 안...
# Types and Programming Languages ## 개요 《**Types and Programming**(이하 *TAPL*)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 **타입 이론**(type the...
# Intel 64 IA-32 Architectures Software Developer’s **Intel 4 and IA-3 Architectures Software Developer Manual**은 인텔 제공하는 공식술 문서로, Intel 64 및 IA-32 아키텍처 기 프로세서 소프트웨어발에 필요한 모든 기술 사과 프로그래밍 가이드를 포괄적으로 다...
# LLVM LLVM(Low Level Virtual Machine)은 최적화된파일러 도구를발하기 위한 오픈소스 **컴파일러 프레임워크**로, 프로그밍 언어의 소스 코드를 기계어로 변환하는 과정에서 사용되는 다양한 컴포넌트를 제공합니다. 초기에는 단일 연구 프로젝트로 시작했으나, 현재는 C/C++, Rust, Swift, Kotlin 등 수많은 프로그래밍...