Computer Language Notation Specification through Program Examples.

Miroslav Sabo Jaroslav Porubän Dominik Lakatos Michaela Kreutzová

Published in: FedCSIS (2011)

Keyphrases

computer programs
programming language
specification language
modelling language
computer programming
visual languages
computer hardware
control program
programming environment
operational semantics
formal language
formal languages
formal specification
modeling language
natural language
high level
programs written