· 2014
Girdi Modulo Eşdeğerlik Yoluyla Derleyici Doğrulama
Compiler validation via equivalence modulo inputs
- 374atıf
- 2014yıl
Kısa özet
Girdi modulo eşdeğerlik (EMI) adı verilen yeni bir metodoloji, girdilere karşı statik derlemeye karşı dinamik yürütmeyi test ederek optimize edici derleyicileri doğrulamak için tanıtılmıştır.
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