ISS Library

SOLVING CONTEST PROBLEMS VIA FORMAL PROGRAM VERIFICATION

Shilov N.V. and Shilova S.O. (2010) SOLVING CONTEST PROBLEMS VIA FORMAL PROGRAM VERIFICATION. In: УкрПРОГ, 25-27 травня 2010 р., м. Київ, Україна.

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
215Kb

Abstract

The interface between mathematics and computer science is many-sided. In particular, E.W. Dijkstra promoted a special “computer science” approach to mathematics problem solving. The approach combines a heuristic algorithm design and rigorous mathematical proof of algorithm correctness (in style of A. Hoare and R. Floyd). The paper sketches two problems of this kind in a form of tutorials for undergraduate students that are interested in different programming contests (like ACM International Collegiate Programming Contests). These tutorials took place at Novosibirsk State University in years 2005–2008. The paper also dioceses some direction for further research that emerge from the problems.

Item Type:Conference or Workshop Item (Paper)
Uncontrolled Keywords:Формальні методи програмування
Subjects:D. Software > D.2. SOFTWARE ENGINEERING > D.2.4. Software/Program Verification
ID Code:584
Deposited By:G.U. Volkova
Deposited On:09 Sep 2010 13:41
Last Modified:09 Sep 2010 13:41

Repository Staff Only: item control page