Post's Machine: A Didactic Microworld as an Introduction to Formal Programming.

Vassilios Dagdilelis Maya Satratzemi

Published in: Educ. Inf. Technol. (2001)

Keyphrases

learning environment
programming language
learning process
reactive systems
batch processing
formal model
object oriented programming
learning processes
formal specification
development environment
computer programming
programming environment
relational databases
databases
special case
data model
formal methods