Login / Signup

Contract lenses: Reasoning about bidirectional programs via calculation.

Hanliang ZhangWenhao TangRuifeng XieMeng WangZhenjiang Hu
Published in: J. Funct. Program. (2023)
Keyphrases
  • supply chain
  • formal theory
  • spatial reasoning
  • database
  • artificial intelligence
  • case study
  • programming language
  • answer sets
  • automatic programming
  • java programs
  • control structures