ملخص: In this paper we introduce an environment for writing, automatically proving and transforming algorithms. The environment is named “CONCORD” (CONstruction, CORrection anD transformation of algorithms) and constitutes a synthesis on procedural languages. We consider many types of construction: from flowcharts, already well known, to structured algorithms. CONCORD allows all the transformations and different methods of proofs thanks to debuggers, symbolic evaluators and automatic provers which we have developed. The objective of CONCORD is above all pedagogical, since it gets to the essence of procedural programming.

لغة: إنجليزية