國立虎尾科技大學 |

Exploratory Phenomena in Program Synthesis.

紀錄類型:	書目-語言資料,手稿 : Monograph/item
正題名/作者:	Exploratory Phenomena in Program Synthesis./
作者:	James, Michael Buchanan.
面頁冊數:	1 online resource (152 pages)
附註:	Source: Dissertations Abstracts International, Volume: 85-10, Section: B.
Contained By:	Dissertations Abstracts International85-10B.
標題:	Computer science. -
電子資源:	click for full text (PQDT)
ISBN:	9798382302522

Exploratory Phenomena in Program Synthesis.
James, Michael Buchanan.

Exploratory Phenomena in Program Synthesis. - 1 online resource (152 pages)

Source: Dissertations Abstracts International, Volume: 85-10, Section: B.

Thesis (Ph.D.)--University of California, San Diego, 2024.

Includes bibliographical references

Program synthesizers promise to save time for the programmer by writing parts of their code for them, provided the programmer knows exactly what they want. For it to suggest that code, the programmer must convey the nuances of their specification to the synthesizer. Is there a place for program synthesizers when those nuances are unclear, and a programmer must explore the design space of their problem? This dissertation argues that program synthesizers can facilitate exploring for code, and that techniques to validate explored code are needed to reduce cognitive effort.To use a traditional synthesizer successfully, the programmer needs a deep understanding of the problem. Firstly, a programmer must convert their intent into the specific language their tool understands, which may not match how they think about their intent. Secondly, a programmer needs to know all the edge cases of their problem and how each one should behave. If both of these cannot be met, then a traditional synthesizer will usually be more effort to use than simply writing the desired program.As modern, probabilistic synthesizers require less overall information to offer a suggestion, they can ﬁll a new role in the programming workﬂow: code exploration. A programmer no longer needs complete understanding of their problem nor be able to communicate all nuances to the tool. This new exploration domain presents new challenges, particularly one of validating the code matches the often incomplete intent of the programmer. Validating code against intent must be quicker or easier to justify a tool's use in exploration to be useful. In this dissertation, I show that both traditional and probabilistic program synthesizers can aid in this exploratory process of programming, and that techniques to validate that explored code reduce the cognitive effort.

Electronic reproduction.
Ann Arbor, Mich. :
ProQuest,
2024

Mode of access: World Wide Web

ISBN: 9798382302522Subjects--Topical Terms:

573171
Computer science.
Subjects--Index Terms:

Human-Computer InteractionsIndex Terms--Genre/Form:

554714
Electronic books.

Exploratory Phenomena in Program Synthesis.
LDR:03075ntm a22003377 4500 001 1146453
005 20240812064620.5
006 m o d
007 cr bn ---uuuuu
008 250605s2024 xx obm 000 0 eng d
020 $a 9798382302522
035 $a (MiAaPQ)AAI30993806
035 $a AAI30993806
040 $a MiAaPQ $b eng $c MiAaPQ $d NTU
100 1 $a James, Michael Buchanan. $3 1471842
245 1 0 $a Exploratory Phenomena in Program Synthesis.
264 0 $c 2024
300 $a 1 online resource (152 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertations Abstracts International, Volume: 85-10, Section: B.
500 $a Advisor: Polikarpova, Nadia.
502 $a Thesis (Ph.D.)--University of California, San Diego, 2024.
504 $a Includes bibliographical references
520 $a Program synthesizers promise to save time for the programmer by writing parts of their code for them, provided the programmer knows exactly what they want. For it to suggest that code, the programmer must convey the nuances of their specification to the synthesizer. Is there a place for program synthesizers when those nuances are unclear, and a programmer must explore the design space of their problem? This dissertation argues that program synthesizers can facilitate exploring for code, and that techniques to validate explored code are needed to reduce cognitive effort.To use a traditional synthesizer successfully, the programmer needs a deep understanding of the problem. Firstly, a programmer must convert their intent into the specific language their tool understands, which may not match how they think about their intent. Secondly, a programmer needs to know all the edge cases of their problem and how each one should behave. If both of these cannot be met, then a traditional synthesizer will usually be more effort to use than simply writing the desired program.As modern, probabilistic synthesizers require less overall information to offer a suggestion, they can ﬁll a new role in the programming workﬂow: code exploration. A programmer no longer needs complete understanding of their problem nor be able to communicate all nuances to the tool. This new exploration domain presents new challenges, particularly one of validating the code matches the often incomplete intent of the programmer. Validating code against intent must be quicker or easier to justify a tool's use in exploration to be useful. In this dissertation, I show that both traditional and probabilistic program synthesizers can aid in this exploratory process of programming, and that techniques to validate that explored code reduce the cognitive effort.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2024
538 $a Mode of access: World Wide Web
650 4 $a Computer science. $3 573171
653 $a Human-Computer Interactions
653 $a Program Synthesis
655 7 $a Electronic books. $2 local $3 554714
690 $a 0984
710 2 $a ProQuest Information and Learning Co. $3 1178819
710 2 $a University of California, San Diego. $b Computer Science and Engineering. $3 1189479
773 0 $t Dissertations Abstracts International $g 85-10B.
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=30993806 $z click for full text (PQDT)