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.txt ยท Last modified: 2017/04/19 14:11 by waruna