E-Graph 리프팅: 함수는 상수가 아니다
요약
e-graph 내에서 엄격한 $\alpha$ 정규형 변수를 지원하기 위한 새로운 접근 방식을 제안합니다. 기능적 리프팅 결합자와 슬림화 비트벡터를 활용하여 변수 처리를 최적화하는 방법을 다룹니다.
핵심 포인트
- e-graph 내 $\alpha$ 정규형 변수 지원을 위한 리프팅 기법 제안
- 기능적 리프팅 결합자(functional lifting combinator) 개념 도입
- 정수 식별자를 슬림화 비트벡터로 확장하여 구현
- slotted e-graphs 및 Co-de Bruijn syntax 개념 활용
Computer Science > Programming Languages
Title: Lifting E-Graphs: A Function Isn't a Constant
View PDF HTML (experimental)Abstract: 변수(Variables)는 매우 미묘하며 잘못 다루기 쉽습니다. e-graph 내에서 엄격한 $\alpha$ 정규형 변수($\alpha$ canonical variables)를 지원하기 위한 접근 방식을 설명합니다. 리프팅 e-graph(lifting e-graph)는 기능적 리프팅 결합자(functional lifting combinator)라는 개념을 내장하고 있습니다. 이는 일반적인 정수 식별자(integer identifiers)를 슬림화 비트벡터(thinning bitvectors)로 확장하고, lift-pulling 스마트 생성자(smart constructors), 그리고 특수한 thinning-aware 유니온 파인드(union find) 변형을 통해 구현됩니다. 이 접근 방식은 slotted e-graphs와 Co-de Bruijn syntax에서 영감을 받았습니다.
AI 자동 생성 콘텐츠
본 콘텐츠는 arXiv cs.PL (Programming Languages)의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기0