검색 결과
둘러보기로 이동
검색으로 이동
- '''3-어드레스 코드'''(Three-address code)는 [[컴파일러]]에서 사용되는 [[중간 언어]]의 한 종류로, [[컴파일러 최적화]]를 실현하는데 사용된다. '3-어드레스'로 불리는 것은 2개의 입력용과 1개의 출력용 [[메모리 주소]] 혹은 [[프로세서 레 [[분류:컴파일러]] ...2 KB (135 단어) - 2024년 5월 16일 (목) 07:14
- 많은 [[프로그래밍 언어]] 문법은 문맥 자유 문법에 속하며{{출처|날짜=2024-10-06}}, 따라서 이 문법은 [[컴파일러]] 등의 이론에 중요한 역할을 차지한다. [[분류:컴파일러 구성]] ...2 KB (69 단어) - 2024년 10월 6일 (일) 15:14
- * [[마이크로소프트 비주얼 C++|cl.exe]]: [[마이크로소프트 비주얼 C++]]용 명령 줄 C/C++ 컴파일러 ...2 KB (69 단어) - 2024년 12월 5일 (목) 05:07
- ...장치|CPU]]에서는 상수 곱셈 등의 연산을 시프트 연산자로 처리하는 것이 [[산술 논리 장치]]를 거치는 것보다 빠르기 때문에, [[컴파일러]]에서는 곱셈/나눗셈 연산을 자동적으로 산술 시프트 명령어로 변환한다. ...3 KB (112 단어) - 2024년 5월 16일 (목) 07:14
- * [[컴파일러]] ...3 KB (117 단어) - 2024년 6월 3일 (월) 13:19
- ...로그램 또는 하위 프로그램에 대한 사용-정의 및 정의-사용 체인을 파악하는 것은 상수 전파 및 공통 하위 표현식 제거를 포함하여 많은 컴파일러 최적화의 전제 조건이다. [[분류:컴파일러 최적화]] ...9 KB (471 단어) - 2023년 6월 4일 (일) 22:01
- ...CFG)는 프로그램의 이러한 값들에서 변수에 저장되기 위해서는 어떤 값이 전파돼야 하는지를 결정하는데 사용된다. 모은 정보는 종종 [[컴파일러]]가 프로그램을 [[최적화]]할 때 사용된다. 데이터 흐름 분석의 고전적인 예로 [[도달 정의]](reaching definition) 들어오는 상태들의 초기 값은 정확한 결과를 얻기 위해 중요하다. 만약 결과들이 컴파일러 최적화에 사용된다면, 이것들은 보수적인 정보를 제공해야 한다. 즉, 정보를 적용할 때 프로그램은 의미를 바꿔서는 안된다. 고정점 알고리 ...14 KB (335 단어) - 2022년 11월 15일 (화) 10:01
- 참조 투명성의 중요성은 프로그래머와 [[컴파일러]]가 프로그램 동작을 재작성 시스템으로써 추론할 수 있게 한다는 것이다. 이것은 정확성 증명, 알고리즘 단순화, 코드 깨짐없는 코드 수 이것은 좀 더 많은 단계를 필요로 하며 컴파일러 최적화를 위해 실행 불가능한 코드에 대한 어느 정도의 통찰력을 요구한다. ...11 KB (342 단어) - 2025년 3월 3일 (월) 13:15
- |rowspan=2 colspan="6" | C: 비표준 컴파일러 확장으로만 사용 가능 ...7 KB (410 단어) - 2023년 3월 15일 (수) 04:46
- 그래프 색칠 문제는 [[컴파일러]]에서 [[프로세서 레지스터]]를 할당하는 문제, [[무선 기지국]] 사이에서 간섭을 없애기 위한 [[주파수]] 할당 문제 등에 응용된 ...8 KB (554 단어) - 2023년 7월 9일 (일) 17:17
- </syntaxhighlight>GHC 8.0.1에서, 타입과 종은 실험적인 컴파일러 옵션인 <code>-XTypeInType</code>을 사용해 합쳐질 수 있다.<ref>https://downloads.haskell. ...8 KB (359 단어) - 2024년 5월 18일 (토) 14:11
- [[컴파일러]]에서, 고정점 계산은 프로그램 분석에 사용된다. 그 예로 [[데이터 흐름 분석]]이 있다. ...8 KB (488 단어) - 2025년 3월 13일 (목) 14:43
- ...대해 [[정지 문제|항상 종료]]할 수 있는 메서드"라는 속성을 ''<math>q</math>''라고 할 때, 임의의 프로그램(예: 컴파일러)이, 속성 ''<math>q</math>''가 자료형 ''<math>T</math>''에 대해 참임을 유지한다 하더라도 자료형 ''<m ...11 KB (515 단어) - 2025년 2월 6일 (목) 00:53
- [[서브클래스]]가 [[슈퍼클래스]]의 메소드를 [[메소드 오버라이딩|오버라이드]] 할 경우, [[컴파일러]]는 메소드의 타입이 올바른지 확인해 타입 안전({{llang|en|type safe}})을 보장해야만 한다. 무공변만을 허용하는 일부 ...26 KB (1,237 단어) - 2025년 2월 27일 (목) 07:21
- 그 정의 때문에 극한으로 깊은 재귀 때문에 아커만 함수는 [[컴파일러]]의 재귀를 최적화하는 능력을 테스트 하는데 사용할 수 있다. 아커만의 함수를 이렇게 사용하는 것은 1971년에 윙베 순드블라드(Yng ...23 KB (1,673 단어) - 2025년 3월 13일 (목) 18:21
- ...크로컨트롤러]]이므로 원하는 기능을 먼저 설정하고 이에 맞는 프로그래밍을 통해 기능을 구현한다. 사용 언어는 C/C++을 사용하고 [[컴파일러]] 및 [[라이브러리]]는 [[AVR-GCC]]을 사용한다.<ref name="AVR-gcc">{{웹 인용|url=http://www. ...20 KB (744 단어) - 2024년 3월 27일 (수) 23:22
- ...L]]언어는 직접 [[정규 문법]]을 사용할 수 있다. 사용자가 [[정규 문법]]을 사용해서 만든 코드는 각각의 프로그래밍 언어의 [[컴파일러]]에서 자동으로 결정적 유한 오토마타로 변환되어 사용된다. {{본문|컴파일러 설계}} ...76 KB (2,217 단어) - 2024년 5월 2일 (목) 09:52