Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings - Schrijvers, Tom; Thiemann, Peter (Berlin, Heidelberg : Springer Berlin Heidelberg, 2012)
Keywords: Computer science; Computer programming; Software engineering; Programming languages (Electronic computers).; Computer logic; Mathematical logic; Artificial intelligence