Re: How is Behavior Specified

From: Tegiri Nenashi <>
Date: Fri, 4 Apr 2008 13:49:11 -0700 (PDT)
Message-ID: <>

On Apr 4, 4:15 am, "David Cressey" <> wrote:
> How is behavior specified?
> In particular, is the specification expressed as declaratives or as
> imperatives?

State machine? Declarative style would push the model towards algebraic description: Kleene algebra, idempotent semiring, etc. The connection between Kleene and Tarski relation algebra is well known. The difference between Kleene and Relational Algebra is quite significant, and IMO is the essence of the divide between procedural (i.e. sequential) and relational worlds.

As usual, the object perspective have really no insight to contribute. Received on Fri Apr 04 2008 - 22:49:11 CEST

Original text of this message