Differences
This shows you the differences between two versions of the page.
|
|
check_program [2017/04/19 13:31] 127.0.0.1 external edit |
check_program [2017/04/19 14:11] (current) waruna [Check Program] |
This tutorial will explain 'Check Program' utility that checks the correctness of an Alphabets program through static analysis. The rules 'Check Program' uses are described in "Hierarchical Static Analysis of Structured Systems of Affine Recurrence Equations" by Dupont de Dinechin and Robert [{{http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/1996-ASAP.pdf|ASAP 1996}}] | This tutorial will explain 'Check Program' utility that checks the correctness of an Alphabets program through static analysis. The rules 'Check Program' uses are described in "Hierarchical Static Analysis of Structured Systems of Affine Recurrence Equations" by Dupont de Dinechin and Robert [{{http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/1996-ASAP.pdf|ASAP 1996}}] |
===Usage=== | ===Usage=== |
<code perl> | <sxh cs; gutter:true> |
prog = ReadAlphabets("../../alphabets//matrix_product.ab"); | prog = ReadAlphabets("../../alphabets//matrix_product.ab"); |
CheckProgram(prog); | CheckProgram(prog); |
</code> | </sxh> |
======== | ======== |
| |