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

From: wooks (wookiz at hotmail.com)
Date: Thu Apr 30 13:58:32 EDT 2009

On Apr 30, 6:48 pm, Matthias Felleisen <matth... at ccs.neu.edu> wrote:
> What are formal languages?
> Formal methods are verification systems that somehow establish  
> logical properties of software systems (or their models).

Slip of tongue... I meant formal specification languages.

Posted on the users mailing list.