Catalan Semàntica de transformació de predicats Cited by user KRLS Bot on 02 Apr 2023 La semàntica de transformació de predicats és una extensió de la lògica de Floyd-Hoare ideada per Edsger Dijkstra i divulgada i perfeccionada per altres investigadors.
English Predicate transformer semantics Cited by user RDBrown on 25 Nov 2017 Predicate transformer semantics were introduced by Edsger Dijkstra in his seminal paper "Guarded commands, nondeterminacy and formal derivation of programs".