Program synthesis based on Boyer-Moore theorem proving techniques.

Autor: Yong-qiang, Sun, Ru-zhan, Lu, Hua, Bi
Zdroj: ACM Annual Computer Science Conference; Jan1985, p348-355, 8p
Databáze: Complementary Index
Externí odkaz: