An Embedded Language Approach to Router Specification in Curry

J. Guadalupe Ramos, Josep Silva, Germán Vidal. An Embedded Language Approach to Router Specification in Curry. In Peter van Emde Boas, Jaroslav Pokorný, Mária Bieliková, Julius Stuller, editors, SOFSEM 2004: Theory and Practice of Computer Science, 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004. Volume 2932 of Lecture Notes in Computer Science, pages 277-288, Springer, 2004. [doi]

Abstract

Abstract is missing.