Note about predicate transformers

समान संसाधन

• Basic Theorems about Predicate Transformers
  द्वारा: Hoare, C, और अन्य
  प्रकाशित: (1977)
• Shifting the Identity of Predicate Transformers
  द्वारा: Hoare, C
  प्रकाशित: (2015)
• Some properties of Predicate Transformers
  द्वारा: Hoare, C
  प्रकाशित: (1978)
• Programs are Predicates
  द्वारा: Hoare, C
  प्रकाशित: (1985)
• Programs are Predicates
  द्वारा: Hoare, C
  प्रकाशित: (1992)