本书软件抽象经常使用术语“属性”。它可以说是本书中最重要的一个词。以下是一些使用示例：
模拟涉及查找满足给定属性的状态或执行的实例。检查涉及查找反例 - 违反给定属性的实例。
这里没有明显的突变;相反，书的前后状态被赋予不同的名称（b和b＆＃39;），并且操作的效果由与其相关的属性捕获。
谓词演算缺乏传递闭包，因此无法表达可达性属性。
原子是
的原始实体•不可分割：它不能分解成更小的部分;
•不可变：其属性不会随时间而变化;和
•未解释：它没有任何内置的属性，例如数字的方式。
什么是＆＃34;属性＆＃34;？合金中的“财产”一词是什么意思？