자료유형  

 학위논문

Control Number  

0017161552

International Standard Book Number  

9798382761565

Dewey Decimal Classification Number  

004

Main Entry-Personal Name  

Lazarek, Lukas.

Publication, Distribution, etc. (Imprint  

[S.l.] : Northwestern University., 2024

Publication, Distribution, etc. (Imprint  

Ann Arbor : ProQuest Dissertations & Theses, 2024

Physical Description  

202 p.

General Note  

Source: Dissertations Abstracts International, Volume: 85-11, Section: A.

General Note  

Advisor: Dimoulas, Christos.

Dissertation Note  

Thesis (Ph.D.)--Northwestern University, 2024.

Summary, Etc.  

요약This dissertation demonstrates that a new empirical method, called the Rational Programmer, can examine the pragmatics of contracts and gradual typing in the context of debugging at scale and in an automated manner. The method begins with a hypothesis about how a specification technique's error information assists in locating bugs. Then, the method calls for designing an algorithm that simulates an idealized programmer using the technique to locate bugs. We can then test the algorithm on a variety of scenarios in a large-scale automated experiment, the results of which provide evidence to either support or refute the hypothesis.Concretely, this dissertation provides data from evaluations of two techniques: contracts and gradual typing. In the case of contracts, the rational programmer helps reveal that while carefully-designed blame information does live up to its hypothesized debugging benefits, primitive stacktrace information appears to do so nearly as well. In the case of gradual typing, the evaluation results suggest that when mistakes occur in code, academic approaches' specialized error information provide marginally better debugging help; when mistakes occur in type annotations, however, the results do suggest that the special error information offers valuable debugging information. These results demonstrate the value of the rational programmer and point to several directions for future investigations.

Subject Added Entry-Topical Term  

Computer science.

Subject Added Entry-Topical Term  

Language.

Subject Added Entry-Topical Term  

Information science.

Index Term-Uncontrolled  

Debugging

Index Term-Uncontrolled  

Gradual typing

Index Term-Uncontrolled  

Language design

Index Term-Uncontrolled  

Programming languages

Index Term-Uncontrolled  

Software contracts

Added Entry-Corporate Name  

Northwestern University Computer Science

Host Item Entry  

Dissertations Abstracts International. 85-11A.

Electronic Location and Access  

로그인을 한후 보실 수 있는 자료입니다.

Control Number  

joongbu:655145