PofoliaPofolia ile paylaşıldı

· 2013

Sözdizimi Güdümlü Sentez

Syntax-guided synthesis

Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin ve diğerleri

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.

Ana noktalar

  • SyGuS, program sentezini yönlendirmek için mantıksal belirtimleri sözdizimsel dilbilgisi kısıtlamalarıyla birleştirir.
  • Problem, bir teoriye uyan ve bir dilbilgisi tarafından kısıtlanan bir program bulmayı içerir.
  • SyGuS problemlerini çözmek için üç CEGIS tabanlı strateji önerilmiştir.
  • Kıyaslamalardaki deneysel sonuçlar yaklaşımın fizibilitesini göstermektedir.

Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.

Özet (abstract)

The classical formulation of the program-synthesis problem is to find a program that meets a correctness specification given as a logical formula. Recent work on program synthesis and program optimization illustrates many potential benefits of allowing the user to supplement the logical specification with a syntactic template that constrains the space of allowed implementations. Our goal is to identify the core computational problem common to these proposals in a logical framework. The input to the syntax-guided synthesis problem (SyGuS) consists of a background theory, a semantic correctness specification for the desired program given by a logical formula, and a syntactic set of candidate implementations given by a grammar. The computational problem then is to find an implementation from the set of candidate expressions so that it satisfies the specification in the given theory. We describe three different instantiations of the counter-example-guided-inductive-synthesis (CEGIS) strategy for solving the synthesis problem, report on prototype implementations, and present experimental results on an initial set of benchmarks.

Yazarların özeti; kaynağından alınmıştır., 2013 · DOI ↗

ÇıkarımlarPremium
Makaleye SorÜcretsiz hesapla

Ü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 et

Google ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.

Telefonda:

Google Play'den indir App Store'dan indir

Benzer makaleler

Alan: Yazılım

SoftwareComputer Science