A System for Axiomatic Programming.

Gabriel Dos Reis

Published in: AISC/MKM/Calculemus (2012)

Keyphrases

programming language
object oriented programming
user interface
development environment
data mining
social networks
case study
mobile robot
probabilistic model
general purpose
computer programming
programming environment
programming concepts
scripting language
axiomatic characterization