{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T04:49:58Z","timestamp":1745038198091},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642183775"},{"type":"electronic","value":"9783642183782"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-18378-2_19","type":"book-chapter","created":{"date-parts":[[2011,1,20]],"date-time":"2011-01-20T09:18:08Z","timestamp":1295515088000},"page":"235-249","source":"Crossref","is-referenced-by-count":49,"title":["Nettle: Taking the Sting Out of Programming Network Routers"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Voellmy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Hudak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"http:\/\/www.openflowswitch.org\/"},{"key":"19_CR2","unstructured":"http:\/\/noxrepo.org\/wp\/"},{"issue":"6","key":"19_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/MNET.2005.1541715","volume":"19","author":"M. Caesar","year":"2005","unstructured":"Caesar, M., Rexford, J.: BGP routing policies in ISP networks. IEEE Network\u00a019(6), 5\u201311 (2005)","journal-title":"IEEE Network"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: International Conference on Functional Programming, pp. 263\u2013273 (June 1997)","DOI":"10.1145\/258948.258973"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Foster, N., Harrison, R., Meola, M.L., Freedman, M.J., Rexford, J., Walker, D.: Frenetic: A high-level langauge for openflow networks. In: ACM Workshop on Programmable Routers for Extensible Services of Tomorrow (PRESTO) (November 2010)","DOI":"10.1145\/1921151.1921160"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Griffin, T.G., Jaggard, A.D., Ramachandran, V.: Design principles of policy languages for path vector protocols. In: SIGCOMM 2003: Proceedings of the 2003 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications. pp. 61\u201372. ACM, New York(2003)","DOI":"10.1145\/863955.863964"},{"key":"19_CR7","first-page":"1","volume-title":"WREN 2009: Proceedings of the 1st ACM Workshop on Research on Enterprise Networking","author":"T.L. Hinrichs","year":"2009","unstructured":"Hinrichs, T.L., Gude, N.S., Casado, M., Mitchell, J.C., Shenker, S.: Practical declarative network management. In: WREN 2009: Proceedings of the 1st ACM Workshop on Research on Enterprise Networking, pp. 1\u201310. ACM, New York (2009)"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-44833-4_6","volume-title":"Advanced Functional Programming","author":"P. Hudak","year":"2003","unstructured":"Hudak, P., Courtney, A., Nilsson, H., Peterson, J.: Robots, arrows, and functional reactive programming. In: Jeuring, J., Jones, S.L.P. (eds.) AFP 2002. LNCS, vol.\u00a02638. Springer, Heidelberg (2003)"},{"issue":"1-3","key":"19_CR9","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0167-6423(99)00023-4","volume":"37","author":"J. Hughes","year":"2000","unstructured":"Hughes, J.: Generalising monads to arrows. Sci. Comput. Program.\u00a037(1-3), 67\u2013111 (2000)","journal-title":"Sci. Comput. Program."},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/1080091.1080126","volume-title":"SIGCOMM 2005: Proceedings of the 2005 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications","author":"B.T. Loo","year":"2005","unstructured":"Loo, B.T., Hellerstein, J.M., Stoica, I., Ramakrishnan, R.: Declarative routing: extensible routing with declarative queries. In: SIGCOMM 2005: Proceedings of the 2005 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, pp. 289\u2013300. ACM, New York (2005)"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Mahajan, R., Wetherall, D., Anderson, T.: Understanding BGP misconfiguration. In: SIGCOMM, Pittsburgh, PA, pp. 3\u201317 (August 2002)","DOI":"10.1145\/633025.633027"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1145\/507635.507664","volume-title":"ICFP 2001: Proceedings of the sixth ACM SIGPLAN International Conference on Functional Programming","author":"R. Paterson","year":"2001","unstructured":"Paterson, R.: A new notation for arrows. In: ICFP 2001: Proceedings of the sixth ACM SIGPLAN International Conference on Functional Programming, pp. 229\u2013240. ACM, New York (2001)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Peterson, J., Hager, G., Hudak, P.: A language for declarative robotic programming. In: International Conference on Robotics and Automation (1999)","DOI":"10.1109\/ROBOT.1999.772516"},{"key":"19_CR14","unstructured":"Ramachandran, V.: Foundations of Inter-Domain Routing. Ph.D. thesis, Yale University (May 2005)"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Voellmy, A., Agarwal, A., Hudak, P., Feamster, N., Burnett, S., Launchbury, J.: Don\u2019t configure the network, program it! domain-specific programming languages for network systems. Tech. Rep. YALEU\/DCS\/RR-1432, Yale University (July 2010)","DOI":"10.21236\/ADA555142"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-03034-5_11","volume-title":"Domain-Specific Languages","author":"A. Voellmy","year":"2009","unstructured":"Voellmy, A., Hudak, P.: Nettle: A language for configuring routing networks. In: Taha, W.M. (ed.) DSL 2009. LNCS, vol.\u00a05658, pp. 211\u2013235. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-18378-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T20:52:02Z","timestamp":1559940722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-18378-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642183775","9783642183782"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-18378-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}