· 2013
Sözdizimi Güdümlü Sentez
Syntax-guided synthesis
- 528atıf
- 2013yıl
Kısa özet
Yeni bir problem formülasyonu olan Sözdizimi Güdümlü Sentez (SyGuS), mantıksal bir doğruluk belirtimini sözdizimsel bir dilbilgisi kısıtlamasıyla birleştirerek program sentezini mümkün kılar ve geçerli programların arama alanını daraltı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