• בית
  • predicate transformer semantics

predicate transformer semantics

reformulation of Floyd-Hoare logic

en-US/ˈpɹɛdəˌkeɪtv tɹænsˈfɑɹmɚ sɪˈmæntɪks/
en-GB/ˈpɹɛdɪkət tɹænsˈfɔːmə sɪˈmæntɪks/

קטגוריות:

semantics