ბლოგი

პროტოტიპური გასწორების e-graph-ები ამატებენ უტოლობას კომპილატორის ოპტიმიზაციაში

პროტოტიპი, რომელიც microegg-ზე დაფუძნებულია, e-graph-ებში პრივილეგირებულ უტოლობის კავშირს ამატებს: მოცემულია გასწორების დახურვა, უტოლობით მორგებული e-matching და კომპილატორის ჩანაწერების ამოღება.