Login / Signup

Axiomatization of if-then-else over possibly non-halting programs and tests.

Gayatri PanickerKanduru V. KrishnaPurandar Bhaduri
Published in: Int. J. Algebra Comput. (2017)
Keyphrases
  • computer programs
  • test cases
  • database
  • data sets
  • search engine
  • real time
  • real world
  • information retrieval
  • computer vision
  • three dimensional
  • programming environment
  • stable models
  • intermediate level