predicate transformer semantics

reformulation of Floyd-Hoare logic

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

دسته بندی ها:

semantics