Metadata
Author: WikiMatrix
Data
English[en]
Predicate transformer semantics, developed by Edsger W. Dijkstra, describes the meaning of a program fragment as the function transforming a postcondition to the precondition needed to establish it.
Spanish[es]
Semánticas de predicado transformador: Desarrolladas por Edsger W. Dijkstra, describen el significado de un fragmento de un programa como la función que transforma una post-condición a la pre-condición necesaria para establecerla.