A Static Semantics for Alloy and its Impact in Refactorings

DOI10.1016/j.entcs.2007.03.023zbMath1279.68185OpenAlexW2087884275MaRDI QIDQ2870336

Paulo Borba, Tiago Massoni, Rohit Gheyi

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.03.023

zbMATH Keywords

theorem provingtype systemrefactoringobject models

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Synchronizing Model and Program Refactoring

Uses Software

• Alloy
• Alcoa
• GemStone
• DynAlloy

Cites Work

• Algebraic reasoning for object-oriented programming
• Fundamental Approaches to Software Engineering
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Static Semantics for Alloy and its Impact in Refactorings