Communications of the ACM· 2026Q1
egg: Hızlı ve Genişletilebilir Eşitlik Doygunluğu
egg: Fast and Extensible Equality Saturation
- 132atıf
- Q1SCImago
- 2026yıl
Kısa özet
egg kütüphanesi, e-grafikleri kullanarak eşitlik doygunluğunu uygular ve programatik program optimizasyonunu terimleri yok etmek yerine bilgi ekleyerek mümkün kılar.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- Egg, eşdeğer ifadeleri temsil eden bir veri yapısı olan e-grafikleri kullanan eşitlik doygunluğu için açık kaynaklı bir kütüphanedir.
- Eşitlik doygunluğu, geleneksel terim yeniden yazmanın yok edici doğasından kaçınarak e-grafiklere bilgi ekler.
- Kütüphane, kullanıcıların programatik kullanım için özel diller, yeniden yazmalar ve analizler tanımlamasına olanak tanır.
- Yeni teknikler arasında eşitlik modülünde program analizlerini entegre etmek için e-sınıf analizi ve gecikmiş değişmez restorasyonu için yeniden oluşturma bulunur.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
E-graphs, originally developed for use in automated theorem provers, are data structures that compactly represent a large number of expressions and the equalities between them. Recently, a technique called equality saturation adapted e-graphs for program optimization. Equality saturation can ameliorate issues with traditional, destructive term rewriting since e-graph rewriting only adds information to the e-graph. After rewriting, the e-graph represents a large space of equivalent terms (including the original term), and a final extraction procedure selects the best term according to a user-provided cost function. The egg library is a fast and flexible open-source implementation of e-graphs and equality saturation. Unlike solvers, egg is a white-box library for programmatic use. Users can easily define their own languages, rewrites, and analyses, and they can inspect and manipulate the e-graph directly. It incorporates novel techniques such as e-class analysis , a mechanism for integrating program analyses modulo equality; and rebuilding , a deferred invariant restoration algorithm. egg has been used in hundreds of academic and industrial projects for program optimization, synthesis, and verification in many domains; some are briefly highlighted in this article.
Yazarların özeti; kaynağından alınmıştır. Communications of the ACM, 2026 · DOI ↗
Ücretsiz hesapla devam et
Makaleye Sor ile bu makaleye günde 3 soru ücretsiz; makaleyi kaydet, kaynakçasını al, ilgi alanına göre her gün yeni özetler. Çıkarımlar Premium.
Web'de ücretsiz devam etGoogle ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.
Telefonda:
Alan: Yapay Zeka Yazılım
SoftwareComputer ScienceArtificial Intelligence