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

From: wooks (wookiz at hotmail.com)
Date: Thu Apr 30 14:39:00 EDT 2009

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
the potential risk of such errors is smaller. So to what extent is the
expressivity similar.

Posted on the users mailing list.