On this page the dynamic aspects of a powerful specification
language are presented.
This page is part of the specification
language presented on my "The Art of
Programming" pages. A separate page deals with
static aspects and
value representation of the language.
Home page and email |
Art of Programming |
Software Engineering |
My life as a hacker