A Calculus for Imperative Programs: Formalization and Implementation.

Madalina Erascu Tudor Jebelean

Published in: SYNASC (2009)

Keyphrases

imperative programs
artificial intelligence
natural language