«compilers» 태그된 질문

5
컴파일러 정확성 증명
초급 학생 수준에서 바람직하게 denotational 방법을 사용하여 컴파일러 정확성 증명을 다루는 자습서 자료를 찾고 있습니다. 또는 문제를 설명하는 데 사용할 수있는 간단한 컴파일러 예제를 알고 있습니까? (나에게 일어난 첫 번째 예는 접두사에서 접미사 표현식으로의 번역가였습니다. 그러나 구문에서 유도를 수행하는 방법 이외의 흥미로운 것은 표시하지 못했습니다.)

2
모듈 식 컴파일러에서 Pottier 및 Gauthier의 다형성 비 기능화를 사용한 사람이 있습니까?
비 기능화 는 고차 프로그램을 1 차 프로그램으로 변환하는 프로그램 변환입니다. 아이디어는 프로그램이 주어질 때, 람다-추상어가 아주 많기 때문에 각 람다를 id로, 각 함수 응용 프로그램을 해당 id에서 분기되는 적용 프로 시저에 대한 호출로 바꿀 수 있다는 것입니다. 이것은 때때로 함수형 언어를위한 컴파일러에서 사용 되지만, 기능 해제는 전체 프로그램 변환 …


1
스탈린 컴파일러는 잔인하게 최적화하지만 어떻게?
JM Siskind의 연구 결과는 다음 과 같습니다. 스탈린은 전체 프로그램 정적 분석을 수행하고 해당 분석 결과를 사용하여 매우 효율적인 코드를 생성하는 Scheme 용 최적화 컴파일러입니다. 스탈린은 대규모의 정적 분석 기법을 활용합니다. 반복 된 단 변량 흐름 분석을 사용하여 흐름 지향 분할을 수행하는 새로운 형태의 다변량 흐름 분석을 수행합니다. 절차의 특수 …
14 compilers 


2
의존형에 대한 컴파일러는 정수기보다 훨씬 더 어렵습니까?
이 튜토리얼 과 같이 종속 유형 구현에 대해 배우고 있지만 대부분은 통역사를 구현하고 있습니다. 내 질문은 의존 유형에 대한 컴파일러를 구현하는 것이 컴파일러보다 훨씬 어렵다는 것입니다. 유형 확인을 위해 종속 유형 인수를 실제로 평가할 수 있기 때문입니다. 그래서 순진한 인상이 맞습니까? 맞다면 의존 유형을 지원하는 정적으로 검사 된 언어를 구현하는 …

1
프로그램 최소화
회로 최소화 는 주어진 회로의 크기를 최소화하는 문제입니다. 일반 프로그램과 비슷한 것이 있습니까? 특히 내 질문은- 주어진 프로그램에 대한 명령 수를 최소화하는 알고리즘이 있습니다. 나는 그것이 결정 불가능한 문제라는 것을 알고 있지만 최적의 것을 반환하는 솔루션을 찾고 있지 않습니다. 기존 컴파일러 변환을 적용 하여이 작업을 수행 할 수는 있지만 미리 …

1
별명 분석에 관한 문헌
CS에서 석사 논문을 작성하고 있으며 별칭 분석을 진행하고 있습니다. 내가 관심이있는 것은 Java와 같은 언어에 대한 절차 내, 흐름에 민감한 필수 및 May-alias 분석입니다. 이 주제의 기본 사항을 자세하게 설명하는 텍스트를 찾고 있지만 실제로 적합한 것을 찾지 못했습니다. 나는 컴파일러와 정적 분석에 관한 많은 교과서에서 살아남 았지만 거기에서 아무것도 찾지 …

2
Coq / Agda의 인증 된 컴파일러 및 최적화
Martin-Löf 형식 이론, 즉 Coq / Agda로 공식화 된 검증 된 컴파일러에 관심이 있습니다. 현재 나는 작은 장난감 예제를 작성했습니다. 이를 통해 최적화가 올바른지 확인할 수 있습니다. 예를 들어, 0을 사용한 추가는 제거 할 수 있습니다 (예 : "x + 0"과 같은 표현식). 일반적인 컴파일러로는 수행하기 어려운 최적화가 있습니까? 일반 …

1
하스켈 타입 클래스의 가능한 구현은 무엇이고 그들의 장점은 무엇입니까?
내가 아는 한, 유형 클래스 제약 조건이있는 Haskell 함수는 내부적으로 각 특정 유형 클래스의 필요한 구현으로 사전을받는 추가 인수가있는 함수로 컴파일됩니다. 타입 클래스를 컴파일하는 다른 가능성이 있습니까? 그렇다면, 그들의 장점은 무엇입니까? 그리고 어떤 컴파일러가 그것들을 사용합니까?
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.