Alloy Meets the Algebra of Programming: A Case Study.

José Nuno Oliveira Miguel Alexandre Ferreira

Published in: IEEE Trans. Software Eng. (2013)

Keyphrases

programming language
query language
object oriented programming
case study
data model
object oriented
learning environment
test bed
programming environment
real numbers
social networks
computer programming
programming course
programming concepts
mechanical properties
boolean algebra
algebraic geometry