ALISA

Automatic deductive synthesis of Lisp programs in the system ALISA

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 3 articles , 1 standard article )

Showing results 1 to 3 of 3.
Sorted by year (citations)

  1. Iordache, George; Boboila, Marcela; Pop, Florin; Stratan, Corina; Cristea, Valentin: Decentralized grid scheduling using genetic algorithms (2008)
  2. Korukhova, Yulia: An approach to automatic deductive synthesis of functional programs (2007)
  3. Korukhova, Yulia: Automatic deductive synthesis of Lisp programs in the system ALISA (2006)