[plt-scheme] Re: Expressivity gap between formal methods and PL's

On Apr 30, 7:02 pm, "Paulo J. Matos" <pocma... at gmail.com> wrote:
> It might
> be true that by writing the model you achieve a lot more understand
> about what you want to finally write but if you have a correct model
> of your program, and then you implement it independently, you can't
> make any kind of assertion by its correctness since you might have
> introduced errors during the translation.
>

Putting  my question another way. If the languages have similar
expressivity
the potential risk of such errors is smaller. So to what extent is the
expressivity similar.