{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:54:26Z","timestamp":1725602066899},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642229404"},{"type":"electronic","value":"9783642229411"}],"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-22941-1_6","type":"book-chapter","created":{"date-parts":[[2011,8,23]],"date-time":"2011-08-23T16:23:14Z","timestamp":1314116594000},"page":"84-101","source":"Crossref","is-referenced-by-count":2,"title":["Hygienic Macros for ACL2"],"prefix":"10.1007","author":[{"given":"Carl","family":"Eastlund","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Felleisen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Computer-Aided Reasoning: an Approach","author":"M. Kaufmann","year":"2000","unstructured":"Kaufmann, M., Manolios, P., Moore, J.S.: Computer-Aided Reasoning: an Approach. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"6_CR2","unstructured":"Kaufmann, M., Moore, J.S.: Design goals of ACL2. Technical report, Computational Logic, Inc. (1994)"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/319838.319859","volume-title":"Proc. 1986 ACM Conference on LISP and Functional Programming","author":"E. Kohlbecker","year":"1986","unstructured":"Kohlbecker, E., Friedman, D.P., Felleisen, M., Duba, B.: Hygienic macro expansion. In: Proc. 1986 ACM Conference on LISP and Functional Programming, pp. 151\u2013161. ACM Press, New York (1986)"},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1145\/99583.99607","volume-title":"Proc. 18th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"W. Clinger","year":"1991","unstructured":"Clinger, W., Rees, J.: Macros that work. In: Proc. 18th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 155\u2013162. ACM Press, New York (1991)"},{"issue":"4","key":"6_CR5","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF01806308","volume":"5","author":"R.K. Dybvig","year":"1992","unstructured":"Dybvig, R.K., Hieb, R., Bruggeman, C.: Syntactic abstraction in Scheme. Lisp and Symbolic Computation\u00a05(4), 295\u2013326 (1992)","journal-title":"Lisp and Symbolic Computation"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-78739-6_4","volume-title":"Programming Languages and Systems","author":"D. Herman","year":"2008","unstructured":"Herman, D., Wand, M.: A theory of hygienic macros. In: Gairing, M. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 48\u201362. Springer, Heidelberg (2008)"},{"key":"6_CR7","first-page":"72","volume-title":"Proc. 7th ACM SIGPLAN International Conference on Functional Programming","author":"M. Flatt","year":"2002","unstructured":"Flatt, M.: Composable and compilable macros: you want it when? In: Proc. 7th ACM SIGPLAN International Conference on Functional Programming, pp. 72\u201383. ACM Press, New York (2002)"},{"key":"6_CR8","unstructured":"Kaufmann, M., Moore, J.S.: ACL2 Documentation (2009), http:\/\/userweb.cs.utexas.edu\/users\/moore\/acl2\/current\/acl2-doc.html"},{"key":"6_CR9","unstructured":"Owre, S., Shankar, N., Rushby, J.M., Stringer-Calvert, D.W.J.: PVS Language Reference (2001), http:\/\/pvs.csl.sri.com\/doc\/pvs-language-reference.pdf"},{"key":"6_CR10","unstructured":"Danielsson, N.A., Norell, U.: Parsing mixfix operators. In: Proc. 20th International Symposium on the Implementation and Application of Functional Languages, School of Computer Science of the University of Hertfordshire (2008)"},{"key":"6_CR11","unstructured":"Wenzel, M.: The Isabelle\/Isar Reference Manual (2010), http:\/\/isabelle.in.tum.de\/dist\/Isabelle\/doc\/isar-ref.pdf"},{"key":"6_CR12","first-page":"372","volume-title":"Proc. 3rd Annual Symposium on Logic in Computer Science","author":"T.G. Griffin","year":"1988","unstructured":"Griffin, T.G.: Notational definition\u2014a formal account. In: Proc. 3rd Annual Symposium on Logic in Computer Science, pp. 372\u2013383. IEEE Press, Los Alamitos (1988)"},{"key":"6_CR13","unstructured":"The Coq Development Team: The Coq Proof Assistant Reference Manual (2009), http:\/\/coq.inria.fr\/coq\/distrib\/current\/refman\/"},{"issue":"9","key":"6_CR14","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/290229.290234","volume":"33","author":"R. Kelsey","year":"1998","unstructured":"Kelsey, R., Clinger, W., Rees, J. (eds.): Revised5 report on the algorithmic language Scheme. ACM SIGPLAN Notices\u00a033(9), 26\u201376 (1998)","journal-title":"ACM SIGPLAN Notices"},{"key":"6_CR15","unstructured":"Gray, K., Flatt, M.: Compiling Java to PLT Scheme. In: Proc. 5th Workshop on Scheme and Functional Programming, pp. 53\u201361 (2004)"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1145\/1328438.1328486","volume-title":"Proc. 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"S. Tobin-Hochstadt","year":"2008","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: The design and implementation of Typed Scheme. In: Proc. 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 395\u2013406. ACM Press, New York (2008)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Vaillancourt, D., Page, R., Felleisen, M.: ACL2 in DrScheme. In: Proc. 6th International Workshop on the ACL2 Theorem Prover and its Applications, pp. 107\u2013116 (2006)","DOI":"10.1145\/1217975.1217999"},{"key":"6_CR18","unstructured":"Culpepper, R.: Refining Syntactic Sugar: Tools for Supporting Macro Development. PhD dissertation, Northeastern University (2010)"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22941-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,8]],"date-time":"2023-06-08T23:14:49Z","timestamp":1686266089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22941-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642229404","9783642229411"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22941-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}