User Tools

Site Tools


check_program

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

check_program [2017/04/19 13:31]
127.0.0.1 external edit
check_program [2017/04/19 14:11] (current)
waruna [Check Program]
Line 2: Line 2:
 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>
 ======== ========
  
check_program.1492630303.txt.gz ยท Last modified: 2017/04/19 13:31 by 127.0.0.1