مرکز منطقه ای اطلاع رساني علوم و فناوري - CONCORD: an environment of CONstruction, CORrection anD transformation of algorithms

Title of article :

CONCORD: an environment of CONstruction, CORrection anD transformation of algorithms

Author/Authors :

D. E. Zegour، نويسنده , , Michael G. Levy، نويسنده ,

Issue Information :

ماهنامه با شماره پیاپی سال 1998

Pages :

From page :

281

To page :

290

Keywords :

transformation , Symbolic evaluation , Compiler , Proof , Automaton , algorithm

Journal title :

Information and Software Technology

Serial Year :

1998

Journal title :

Information and Software Technology

Record number :

134544

Link To Document :