Conference articles
- Jerzy Karczmarczuk. Programming for the Humanities. In Proceedings of the 8th International Conference on Computer Supported Education, CSEDU 2016, Portugal, pages 298-305, 2016. SCITEPRESS - Science and Technology Publications, Lda. ISBN: 978-989-758-179-3. [WWW] [doi:10.5220/0005791202980305] Keyword(s): Abstraction, Constraint programming, Logic, Non-determinism., Prolog.
- François Degrave, Tom Schrijvers, and Wim Vanhoof. Automatic generation of test inputs for Mercury. In M. Hanus, editor, LOPSTR08l, volume 5438 of LNCS, 2009. SV. [doi:10.1007/978-3-642-00515-2] Keyword(s): applications, testing.
BACK TO INDEX