.png){kind=icon}
返回
Alloy: A lightweight object modelling notation
.png){kind=icon}
PRE
AI
DOI：10.1145/505145.505149.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Alloy is a little language for describing structural properties, It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful enough to express complex constraints and yet amenable to a fully automatic semantic analysis. Its meaning is given by translation to an even smaller (formally defined) kernel, This paper presents the language in its entirety, and explains its motivation, contributions and deficiencies.
Keyword:
design
documentation
languages
object models
Z specification language
first-order logic
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
A
IF:
6.2
论文数:
1.2K
被引数:
3.4K
机构
暂无机构信息
引用论文
Comparative Analysis of Effectiveness of Two Local Anesthetic Techniques in Men Undergoing No-Scalpel Vasectomy.png)
Urology
UrologyIF0
PREAI
分享收藏分享收藏MMP-1 promoter polymorphism is associated with risk of radiation-induced lung injury in lung cancer patients treated with radiotherapyOncotarget
OAAI
OncotargetIF0
OAAI分享收藏
查看更多内容