AG Programmiersprachen und Übersetzerkonstruktion

Veröffentlichungen

2014

 Integration of Finite Domain Constraints in KiCS2

Michael Hanus, Björn Peemöller, Jan Rasmus Tikovsky

Proc. of the 7th Working Conference on Programming Languages (ATPS 2014), 2014