Using Emil Post's machine for an introduction to formal programming (poster).

Vassilios Dagdilelis Maria Satratzemi

Published in: ITiCSE-WGR (1997)

Keyphrases

programming language
reactive systems
object oriented programming
information retrieval
development environment
computer programming
programming environment
batch processing
high level language
learning algorithm
decision trees
lower bound
formal model
programming course