✦ LIBER ✦

A Static Semantics for Alloy and its Impact in Refactorings

✍ Scribed by Rohit Gheyi; Tiago Massoni; Paulo Borba

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Use of a formal notation for static sema

✍ M. H. Williams; A. R. Bulmer 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 341 KB

Semantic Transfer and Its Implications f

✍ Nan Jiang 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 423 KB

Systems biology for molecular life scien

✍ Medina, Miguel Ãngel 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 995 KB

A Mathematical Model for Pseudoelasticit

✍ Wei, Z.; Ma, H.; Sun, D. 📂 Article 📅 2002 🏛 SAGE Publications 🌐 English ⚖ 312 KB

A Novel Similarity Measure to Induce Sem

✍ Ya-Li Li; Wei-Qun Xu; Yong-Hong Yan 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 596 KB

The Rationale for Distributed Semantics

✍ Eric Verhulst 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 339 KB