Výsledky vyhledávání - "Automatic Programming—Program syn- thesis General Terms Languages"

Typedirected completion of partial expressions

Autoři: Daniel Perelman Sumit Gulwani Thomas Ball a další

Přispěvatelé: Daniel Perelman Sumit Gulwani Thomas Ball a další

Zdroj: http://research.microsoft.com/en-us/um/people/sumitg/pubs/pldi12.pdf.

Témata: Categories and Subject Descriptors D.2.6 [Software Engineer- ing, Programming Environments—Integrated Environments, D.2.13 [Software Engineering, Reusable Software—Reuse Models, I.2.2 [Artificial Intelligence, Automatic Programming—Program syn- thesis General Terms Languages, Experimentation Keywords program synthesis, partial expressions, code comple- tion

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.466.966

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.466.966
http://research.microsoft.com/en-us/um/people/sumitg/pubs/pldi12.pdf

Synthesizing Parallel Graph Programs via Automated Planning

Autoři: Dimitrios Prountzos Roman Manevich Keshav Pingali a další

Přispěvatelé: Dimitrios Prountzos Roman Manevich Keshav Pingali a další

Zdroj: http://iss.ices.utexas.edu/Publications/Papers/prountzos-2015-SPG.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming—Parallel Programming, I.2.2 [Artificial Intelligence, Automatic Programming—Program syn- thesis General Terms Languages, Performance, Verification Keywords Synthesis, Compiler Optimization, Concurrency, Par- allelism, Amorphous Data-parallelism, Irregular Programs

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.85

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.85
http://iss.ices.utexas.edu/Publications/Papers/prountzos-2015-SPG.pdf