Neng-Fa Zhou. Picat: A Scalable Logic-based Language and System (Invited talk). In José Paulo Leal, Ricardo Rocha, Alberto Simões, editors, 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal. Volume 29 of OASICS, pages 5-6, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]
Abstract is missing.