2.3 Laconicity and Construct Redundancy. A model M is called laconic w.r.t. a domain abstraction A if an interpretation mapping between M and A is injective ...
確定! 回上一頁