{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:28:49Z","timestamp":1725564529483},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540207795"},{"type":"electronic","value":"9783540246183"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24618-3_24","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:31:03Z","timestamp":1283686263000},"page":"277-288","source":"Crossref","is-referenced-by-count":0,"title":["An Embedded Language Approach to Router Specification in Curry"],"prefix":"10.1007","author":[{"given":"J. Guadalupe","family":"Ramos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josep","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Germ\u00e1n","family":"Vidal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Albert, E., Hanus, M., Vidal, G.: A Practical Partial Evaluation Scheme for Multi- Paradigm Declarative Languages. Journal of Functional and Logic Programming 2002 (2002)","DOI":"10.1007\/3-540-44716-4_21"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/10705424_10","volume-title":"Functional and Logic Programming","author":"M. Alpuente","year":"1999","unstructured":"Alpuente, M., Falaschi, M., Moreno, G., Vidal, G.: A Transformation System for Lazy Functional Logic Programs. In: Middeldorp, A. (ed.) FLOPS 1999. LNCS, vol.\u00a01722, pp. 147\u2013162. Springer, Heidelberg (1999)"},{"key":"24_CR3","unstructured":"Claessen, K.: Embedded Languages for Describing and Verifying Hardware. PhD Thesis, Chalmers University of Technology and G\u00f8\u0308teborg University, Department of Computing Science (2001)"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proc. of 4th ACM Symp. on Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic Design of Program Analysis Frameworks. In: Proc. of 6th ACM Symp. on Principles of Programming Languages, pp. 269\u2013282 (1979)","DOI":"10.1145\/567752.567778"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Gottlieb, Y., Peterson, L.: A Comparative Study of Extensible Routers. In: 2002 IEEE Open Architectures and Network Programming Proceedings, pp. 51\u201362 (2002)","DOI":"10.1109\/OPNARC.2002.1019228"},{"key":"24_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/10704567_11","volume-title":"Principles and Practice of Declarative Programming","author":"M. Hanus","year":"1999","unstructured":"Hanus, M.: Distributed Programming in a Multi-Paradigm Declarative Language. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 376\u2013395. Springer, Heidelberg (1999)"},{"key":"24_CR8","unstructured":"Hanus, M., Antoy, S., Koj, J., Sadre, R., Steiner, F.: PAKCS 1.5: The Portland Aachen Kiel Curry System User Manual. Technical report, University of Kiel, Germany (2003)"},{"key":"24_CR9","unstructured":"Hanus, M. (ed.): Curry: An Integrated Functional Logic Language, Available at, http:\/\/www.informatik.uni-kiel.de\/~mh\/curry\/"},{"key":"24_CR10","unstructured":"Kohler, E.: The Click Modular Router. PhD thesis, Massachusetts Institute of Technology (2001)"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1145\/354871.354874","volume":"18","author":"E. Kohler","year":"2000","unstructured":"Kohler, E., Morris, R., Chen, B., Jannotti, J., Kaashoek, M.: The Click Modular Router. ACM Transactions on Computer Systems\u00a018, 263\u2013297 (2000)","journal-title":"ACM Transactions on Computer Systems"},{"key":"24_CR12","unstructured":"Matthews, J.: Algebraic Specification and Verification of Processor Microarchitectures. PhD thesis, University of Washington (2000)"},{"key":"24_CR13","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0743-1066(92)90024-W","volume":"12","author":"J. Moreno-Navarro","year":"1992","unstructured":"Moreno-Navarro, J., Rodr\u00edguez-Artalejo, M.: Logic Programming with Functions and Predicates: The language Babel. Journal of Logic Programming\u00a012, 191\u2013224 (1992)","journal-title":"Journal of Logic Programming"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Peterson, L., Karlin, S., Li, K.: OS Support for General-Purpose Routers. In: Workshop on Hot Topics in Operating Systems (Hot-OS-VII), IEEE Computer Society Technical Committee on Operating Systems, pp. 38\u201343 (1999)","DOI":"10.1109\/HOTOS.1999.798375"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2004: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24618-3_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T12:01:29Z","timestamp":1636372889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24618-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540207795","9783540246183"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24618-3_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}