A Static Semantics for Alloy and its Impact in Refactorings.

Rohit Gheyi Tiago Massoni Paulo Borba

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

transformation rules
formal semantics
information retrieval
database
real time
website
high level
natural language
logic programming
software systems
semantic information
database schema
dynamic constraints