Syntax-Guided Synthesis

Autor: Alur, R, Bodik, R, Dallal, E, Fisman, D, Garg, P, Juniwal, G, Kress-Gazit, H, Madhusudan, P, Martin, MMK, Raghothaman, M, Saha, S, Seshia, SA, Singh, R, Solar-Lezama, A, Torlak, E, Udupa, A

Publikováno v: other univ website
Alur, R; Bodik, R; Dallal, E; Fisman, D; Garg, P; Juniwal, G; et al.Irlbeck, M; Peled, DA; & Pretschner, A eds. (2015). Syntax-Guided Synthesis. UC Berkeley: Retrieved from: http://www.escholarship.org/uc/item/2mc6110k

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 allowi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6b5547de49950c938b4069f0ff353640
https://hdl.handle.net/1721.1/137905.2

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Dynamics and stability in network formation games with bilateral contracts.

Autor: Arcaute, E., Dallal, E., Johari, R., Mannor, S.

Publikováno v: 2007 46th IEEE Conference on Decision & Control; 2007, p3435-3442, 8p

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.