ALISA
Automatic deductive synthesis of Lisp programs in the system ALISA
Keywords for this software
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
Sorted by year (- Iordache, George; Boboila, Marcela; Pop, Florin; Stratan, Corina; Cristea, Valentin: Decentralized grid scheduling using genetic algorithms (2008)
- Korukhova, Yulia: An approach to automatic deductive synthesis of functional programs (2007)
- Korukhova, Yulia: Automatic deductive synthesis of Lisp programs in the system ALISA (2006)