Assignment Calculus: A Pure Imperative Language.

Marc Bender Jeffery I. Zucker

Published in: LFCS (2013)

Keyphrases

formal language
natural language
programming language
language learning
relational calculus
e learning
target language
computer algebra
data sets
information retrieval
specification language
algebraic structure
database programming language
lambda calculus