To use or not to use the goto statement: Programming styles viewed from Hoare Logic.

Hidetaka Kondoh Kokichi Futatsugi

Published in: Sci. Comput. Program. (2006)

Keyphrases

programming language
modal logic
automated reasoning
logic programming
object oriented programming
programming environment
digital circuits
proof theory
general purpose
social networks
software development
database design
nonmonotonic logics
predicate logic
concurrent programming