Conditional composition

DOI10.1007/BF01211001zbMath0840.68072MaRDI QIDQ1906041

K. Rustan, Rajit Manohar, K. Rustan M. Leino

Publication date: 25 February 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

conditional function composition

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Uses Software

• CalcCheck

Cites Work

• Correct and Robust Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Conditional composition