[plt-scheme] Re: Why "lambda"?

On Tue, Jun 2, 2009 at 12:35 PM, Shriram Krishnamurthi <sk at cs.brown.edu> wrote:
>> I watched a lecture on OCL and remembered wondering whether it's
>> raison d'etre was other than to provide a Greekless formal
>> specification language which would be palatable in the "real world".
>
> That's pretty much it, but also customized to objects.

Please elaborate: OCL provides a means by which to describe the valid
state(s) of an object; what is the connection between that and the
Greek used elsewhere in this thread?