A comparative evaluation of the Z, CSP, RSL, and VDM languages.

Mohammad Reza Nami Fatemeh Hassani

Published in: ACM SIGSOFT Softw. Eng. Notes (2009)

Keyphrases

comparative evaluation
constraint satisfaction problems
expressive power
constraint satisfaction
constraint propagation
scoring methods
language independent
constraint programming
arc consistency
np hard
cross lingual
text summarization