Login / Signup

AlCons : Deductive Synthesis of Sorting Algorithms in Theorema.

Isabela DramnescTudor Jebelean
Published in: ICTAC (2021)
Keyphrases
  • sorting algorithms
  • functional programs
  • data structures and algorithms
  • program synthesis
  • object oriented
  • abductive inference
  • preprocessing
  • logic programs