A Simple Refinement Language for Casl.

Till Mossakowski Donald Sannella Andrzej Tarlecki

Published in: WADT (2004)

Keyphrases

three dimensional
programming language
database
real time
data sets
data mining
e learning
metadata
representation language
specification language
formal language