Výsledky vyhledávání - "Algorithms Keywords program synthesis"

On complete completion using types and weights

Autoři: Tihomir Gvero Viktor Kuncak Ivan Kuraj a další

Přispěvatelé: Tihomir Gvero Viktor Kuncak Ivan Kuraj a další

Zdroj: http://lara.epfl.ch/~kuncak/papers/GveroETAL13CompleteCompletionTypesWeights.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming–Program synthesis, D.2.6 [Software Engineering, Coding Tools and Techniques–Program Editors, D.2.13 [Software Engineering, Reusable Software–Reuse Models General Terms Languages, Algorithms Keywords program synthesis, type inhabitation, code completion, type-driven

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.1849; http://lara.epfl.ch/~kuncak/papers/GveroETAL13CompleteCompletionTypesWeights.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.1849
http://lara.epfl.ch/~kuncak/papers/GveroETAL13CompleteCompletionTypesWeights.pdf