one possible description of Algol is legal programs, initial state--initial state pairs and the mapping between programs and state changes
Related Topics
Topic: semantics by an abstract machine (38 items)