Key points are not available for this paper at this time.
Este artigo descreve um programa chamado PROUST que realiza análise e compreensão on-line de Pascal escrito por programadores novatos. O PROUST recebe como entrada um programa e uma descrição não algorítmica dos requisitos do programa, e encontra a correspondência mais provável entre os requisitos e o código. Essa correspondência é, em essência, uma reconstrução dos passos de design e implementação que o programador seguiu ao escrever o programa. Uma base de conhecimento de planos e estratégias de programação, juntamente com bugs comuns associados a eles, é utilizada na construção dessa correspondência. Bugs são descobertos no processo de relacionar planos ao código; portanto, o PROUST pode fornecer explicações profundas sobre bugs de programa, relacionando o código com problemas às suas intenções subjacentes.
Johnson et al. (Sex,) estudaram esta questão.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: