Learn More
Program composition and compositional proof systems have proven them­ selves important for simplifying the design and the verification of programs. The paper presents a version of the jigsaw program composition operator pre­ viously defined in [FFG90, FFG91]. Here, the jigsaw operator is defined as the unification of its components by their most general(More)
  • 1