PAKCS 1 8 1 The Portland Aachen Kiel Curry System User Manual Version of October 31 2007 Michael Hanus editor Additional Contributors Sergio Antoy Bernd Bragel Martin Engelke Klaus H ppner Johannes Koj Philipp Niederau Ramin Sadre Frank Steiner 1 University of Kiel Germany mh informatik uni kiel de 2 Portland State University USA antoy cs pdx edu 3 University of Kiel Germany bbr informatik uni kiel de 4 University of Kiel Ge
Towards Router Specification in Curry The Language ROSE J Guadalupe Ramos Josep Silva and German Vidal 1 Instituto Tecnol gico de La Piedad Av Tecnol gico 2000 Meseta los Laureles La Piedad Mich M xico guadalupe dsic upv es 2 DSIC UPV Camino de Vera s n E 46022 Valencia Spain jsilva gvidal dsic upv es Abstract The development of modern routers require a significant effort to be designed built and verified While hardware routers are faster they a