A Formal Basis for Removing Goto Statements.

Si Pan R. Geoff Dromey

Published in: Comput. J. (1996)

Keyphrases

mathematical theory
database
case study
expert systems
trade off
starting point
formal model
formal language
information technology
recommender systems
formal analysis