Synthesis without syntactic templates
<p>Program synthesis is the mechanised construction of software. One of the main difficulties is the efficient exploration of the very large solution space, and tools often require a user-provided syntactic restriction of the search space. Writing such templates is often challenging, particula...
| Príomhchruthaitheoir: | |
|---|---|
| Rannpháirtithe: | |
| Formáid: | Tráchtas |
| Teanga: | English |
| Foilsithe / Cruthaithe: |
2019
|
| Ábhair: |