Exercise Solution Check Specification Language for Interactive Programming Learning Environments.

Published in: SLATE (2017)

Keyphrases

specification language
programming language
learning environment
formal specification
description language
software environment
optimal solution
general purpose
artificial intelligence
high level
evolutionary algorithm
dynamic environments