From: Caleb Clausen <vikkous@...>
Date: 2010-04-17T02:40:02+09:00
Subject: Re: Formal methods

On 4/15/10, Bernhard Brodowsky <brodowsb@student.ethz.ch> wrote:
> Hi, I want to try to prove some parts of my programs formally. Does
> anyone have any experience with the combination of formal methods and
> Ruby?

I don't know much about formal methods, but my guess is that it is
very, very difficult to formally prove a ruby program. Most types of
analysis of ruby code are somewhere between very hard and actually
impossible due to the very dynamic nature of ruby. It's because you
can change so much of the behavior of the language at runtime, so you
can't tell until you actually are running a particular bit of code
what it might do.