The Art of Programming
A specification language: Dynamic aspects

By Frans


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