Titlebook: Recent Trends in Algebraic Development Techniques; 14th International W Didier Bert,Christine Choppy,Peter D. Mosses Conference proceedings

Chronological

Frisky

我们的面粉

synchronous

OATH

难理解

Camouflage

贪婪地吃

Principles and Pragmatics of Subtyping in PVSbtyping is a central concept in the PVS type system. PVS admits the definition of subtypes corresponding to nonzero integers, prime numbers, injective maps, order-preserving maps, and even empty subtypes. We examine the principles underlying the PVS subtype mechanism and its implementation and use.

除草剂

Subsorted Partial Higher-Order Logic as an Extension of CASLartial logic which in turn is defined in terms of many-sorted partial first-order logic. A new notion of homomorphism is introduced to meet the need to get a faithful embedding of first-order CASL into higher-order CASL. Finally, it is discussed how a proof calculus for the proposed logic can be developed.

蘑菇