Communications of the ACM· 2026Q1
egg: Hızlı ve Genişletilebilir Eşitlik Doygunluğu
egg: Fast and Extensible Equality Saturation
- 133atı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.
ÇıkarımlarUygulamada
Ana noktalarUygulamada
Makaleye SorUygulamada
Devamı Pofolia uygulamasında
Çıkarımlar, ana noktalar ve makaleye soru sorma; ilgi alanına göre her gün yeni özetler. Ücretsiz.
Web'de giriş yaparak açAlan: Yazılım
SoftwareComputer Science