{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:49Z","timestamp":1750220509736,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,16]],"date-time":"2020-11-16T00:00:00Z","timestamp":1605484800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-sa\/4.0\/"}],"funder":[{"name":"WASP","award":["Christoph Reichenbach"],"award-info":[{"award-number":["Christoph Reichenbach"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,16]]},"DOI":"10.1145\/3425898.3426955","type":"proceedings-article","created":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T01:26:21Z","timestamp":1606267581000},"page":"111-123","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A domain-specific language for filtering in application-level gateways"],"prefix":"10.1145","author":[{"given":"Hampus","family":"Balldin","sequence":"first","affiliation":[{"name":"Advenica, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0608-7023","authenticated-orcid":false,"given":"Christoph","family":"Reichenbach","sequence":"additional","affiliation":[{"name":"Lund University, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,16]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"1","article-title":"NetKAT","volume":"49","author":"Anderson Carolyn Jane","year":"2014","unstructured":"Carolyn Jane Anderson , Nate Foster , Arjun Guha , Jean-Baptiste Jeannin , Dexter Kozen , Cole Schlesinger , and David Walker . 2014 . NetKAT : Semantic Foundations for Networks. SIGPLAN Not. 49 , 1 (Jan. 2014 ), 113-126. htps:\/\/doi.org\/10.1145\/2578855.2535862 Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, and David Walker. 2014. NetKAT: Semantic Foundations for Networks. SIGPLAN Not. 49, 1 (Jan. 2014 ), 113-126. htps:\/\/doi.org\/10.1145\/2578855.2535862","journal-title":"Semantic Foundations for Networks. SIGPLAN Not."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"crossref","unstructured":"J. Backes P. Bolignano B. Cook C. Dodge A. Gacek K. Luckow N. Rungta O. Tkachuk and C. Varming. 2018. Semantic-based Automated Reasoning for AWS Access Policies using SMT. In 2018 Formal Methods in Computer Aided Design (FMCAD). 1-9.  J. Backes P. Bolignano B. Cook C. Dodge A. Gacek K. Luckow N. Rungta O. Tkachuk and C. Varming. 2018. Semantic-based Automated Reasoning for AWS Access Policies using SMT. In 2018 Formal Methods in Computer Aided Design (FMCAD). 1-9.","DOI":"10.23919\/FMCAD.2018.8602994"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/6012.15399"},{"volume-title":"2009 IEEE Symposium on Computers and Communications. 526-531","author":"Youssef N. Ben","key":"e_1_3_2_2_4_1","unstructured":"N. Ben Youssef , A. Bouhoula , and F. Jacquemard . 2009. Automatic Verification of Conformance of Firewall Configurations to Security Policies . In 2009 IEEE Symposium on Computers and Communications. 526-531 . N. Ben Youssef, A. Bouhoula, and F. Jacquemard. 2009. Automatic Verification of Conformance of Firewall Configurations to Security Policies. In 2009 IEEE Symposium on Computers and Communications. 526-531."},{"key":"e_1_3_2_2_5_1","first-page":"325","volume-title":"Proceedings of the 4th International Conference on Cognitive Technology: Instruments of Mind (CT '01)","author":"Blackwell Alan F.","unstructured":"Alan F. Blackwell , Carol Britton , Anna Louise Cox , Thomas R. G. Green , Corin A. Gurr , Gada F. Kadoda , Maria Kutar , Martin Loomes , Chrystopher L. Nehaniv , Marian Petre , Chris Roast , Chris Roe , Allan Wong , and Richard M. Young . 2001. Cognitive Dimensions of Notations: Design Tools for Cognitive Technology . In Proceedings of the 4th International Conference on Cognitive Technology: Instruments of Mind (CT '01) . Springer-Verlag, Berlin, Heidelberg , 325 - 341 . Alan F. Blackwell, Carol Britton, Anna Louise Cox, Thomas R. G. Green, Corin A. Gurr, Gada F. Kadoda, Maria Kutar, Martin Loomes, Chrystopher L. Nehaniv, Marian Petre, Chris Roast, Chris Roe, Allan Wong, and Richard M. Young. 2001. Cognitive Dimensions of Notations: Design Tools for Cognitive Technology. In Proceedings of the 4th International Conference on Cognitive Technology: Instruments of Mind (CT '01). Springer-Verlag, Berlin, Heidelberg, 325-341."},{"key":"e_1_3_2_2_6_1","volume-title":"Proceedings of the 12th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2000","author":"Alan","year":"2000","unstructured":"Alan F. Blackwell and Thomas R. G. Green. 2000. A Cognitive Dimensions questionnaire optimised for users . In Proceedings of the 12th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2000 , Cosenza, Italy , April 10-13, 2000 . Psychology of Programming Interest Group, 10. htp:\/\/ppig.org\/library\/paper\/cognitive-dimensionsquestionnaire-optimised-users Alan F. Blackwell and Thomas R. G. Green. 2000. A Cognitive Dimensions questionnaire optimised for users. In Proceedings of the 12th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2000, Cosenza, Italy, April 10-13, 2000. Psychology of Programming Interest Group, 10. htp:\/\/ppig.org\/library\/paper\/cognitive-dimensionsquestionnaire-optimised-users"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"volume-title":"XML Path Language (XPath) version 1.0. Recommendation","author":"Clark James","key":"e_1_3_2_2_8_1","unstructured":"James Clark and Steve DeRose . 1999. XML Path Language (XPath) version 1.0. Recommendation . World Wide Web Consortium . See htp:\/\/www.w3.org\/TR\/xpath.html. James Clark and Steve DeRose. 1999. XML Path Language (XPath) version 1.0. Recommendation. World Wide Web Consortium. See htp:\/\/www.w3.org\/TR\/xpath.html."},{"key":"e_1_3_2_2_9_1","first-page":"9","article-title":"Satisfiability modulo Theories","volume":"54","author":"Moura Leonardo De","year":"2011","unstructured":"Leonardo De Moura and Nikolaj Bj\u00f8rner . 2011 . Satisfiability modulo Theories : Introduction and Applications. Commun. ACM 54 , 9 (Sept. 2011 ), 69-77. htps:\/\/doi.org\/10.1145\/1995376.1995394 Leonardo De Moura and Nikolaj Bj\u00f8rner. 2011. Satisfiability modulo Theories: Introduction and Applications. Commun. ACM 54, 9 (Sept. 2011 ), 69-77. htps:\/\/doi.org\/10.1145\/1995376.1995394","journal-title":"Introduction and Applications. Commun. ACM"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"crossref","unstructured":"Philip Fennell. 2014. Schematron-more useful than you'd thought. XML LONDON ( 2014 ).  Philip Fennell. 2014. Schematron-more useful than you'd thought. XML LONDON ( 2014 ).","DOI":"10.14337\/XMLLondon14.Fennell01"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"crossref","unstructured":"R. Gerhards. 2009. The Syslog Protocol. RFC 5424 (Proposed Standard). htp:\/\/www.ietf.org\/rfc\/rfc5424.txt  R. Gerhards. 2009. The Syslog Protocol. RFC 5424 (Proposed Standard). htp:\/\/www.ietf.org\/rfc\/rfc5424.txt","DOI":"10.17487\/rfc5424"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2745754.2745780"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"crossref","unstructured":"Kurt G\u00f6del. 1931. \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme. Monatshefte f\u00fcr Mathematik und Physik 38 1 ( 1931 ) 173-198.  Kurt G\u00f6del. 1931. \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme. Monatshefte f\u00fcr Mathematik und Physik 38 1 ( 1931 ) 173-198.","DOI":"10.1007\/BF01700692"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSNC.2007.2"},{"volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"Jones Simon Peyton","key":"e_1_3_2_2_16_1","unstructured":"Simon Peyton Jones . 2003. Haskell 98 Language and Libraries: The Revised Report . Cambridge University Press . Simon Peyton Jones. 2003. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693083"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2692956.2663188"},{"volume-title":"USENIX winter","author":"McCanne Steven","key":"e_1_3_2_2_19_1","unstructured":"Steven McCanne and Van Jacobson . 1993. The BSD Packet Filter: A New Architecture for User-level Packet Capture .. In USENIX winter , Vol. 46 . Steven McCanne and Van Jacobson. 1993. The BSD Packet Filter: A New Architecture for User-level Packet Capture.. In USENIX winter, Vol. 46."},{"key":"e_1_3_2_2_20_1","unstructured":"J. Pastel and J. Reynolds. 1985. File Transfer Protocol. RFC 959. htps: \/\/doi.org\/10.17487\/RFC0959  J. Pastel and J. Reynolds. 1985. File Transfer Protocol. RFC 959. htps: \/\/doi.org\/10.17487\/RFC0959"},{"key":"e_1_3_2_2_21_1","unstructured":"Per Runeson and Martin H\u00f6st. 2009. Guidelines for conducting and reporting case study research in software engineering. Empirical Software Engineering 14 2 ( 2009 ) 131-164. htps:\/\/doi.org\/10.1007\/ s10664-008-9102-8  Per Runeson and Martin H\u00f6st. 2009. Guidelines for conducting and reporting case study research in software engineering. Empirical Software Engineering 14 2 ( 2009 ) 131-164. htps:\/\/doi.org\/10.1007\/ s10664-008-9102-8"},{"volume-title":"CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools","author":"Sen Koushik","key":"e_1_3_2_2_22_1","unstructured":"Koushik Sen and Gul Agha . 2006. CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools . In Computer Aided Verification, Thomas Ball and Robert B. Jones (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 419-423. Koushik Sen and Gul Agha. 2006. CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. In Computer Aided Verification, Thomas Ball and Robert B. Jones (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 419-423."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784761"},{"key":"e_1_3_2_2_24_1","volume-title":"Proceedings of the 1st ACM Workshop on Intrusion Detection Systems. ACM. htp:\/\/www.spinellis.gr\/ pubs\/conf\/2000-CCS-DSLID\/html\/paper.html","author":"Spinellis Diomidis","year":"2000","unstructured":"Diomidis Spinellis and Dimitris Gritzalis . 2000 . A Domain-specific Language of Intrusion Detection . In Proceedings of the 1st ACM Workshop on Intrusion Detection Systems. ACM. htp:\/\/www.spinellis.gr\/ pubs\/conf\/2000-CCS-DSLID\/html\/paper.html Diomidis Spinellis and Dimitris Gritzalis. 2000. A Domain-specific Language of Intrusion Detection. In Proceedings of the 1st ACM Workshop on Intrusion Detection Systems. ACM. htp:\/\/www.spinellis.gr\/ pubs\/conf\/2000-CCS-DSLID\/html\/paper.html"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"crossref","unstructured":"David HD Warren Luis M Pereira and Fernando Pereira. 1977. Prologthe language and its implementation compared with Lisp. ACM SIGPLAN Notices 12 8 ( 1977 ) 109-115.  David HD Warren Luis M Pereira and Fernando Pereira. 1977. Prologthe language and its implementation compared with Lisp. ACM SIGPLAN Notices 12 8 ( 1977 ) 109-115.","DOI":"10.1145\/872734.806939"},{"volume-title":"2010 IEEE Second International Conference on Social Computing. 834-841","author":"Youssef N. B. S. B.","key":"e_1_3_2_2_26_1","unstructured":"N. B. S. B. Youssef and A. Bouhoula . 2010. Automatic Conformance Verification of Distributed Firewalls to Security Requirements . In 2010 IEEE Second International Conference on Social Computing. 834-841 . N. B. S. B. Youssef and A. Bouhoula. 2010. Automatic Conformance Verification of Distributed Firewalls to Security Requirements. In 2010 IEEE Second International Conference on Social Computing. 834-841."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491456"}],"event":{"name":"GPCE '20: Concepts and Experiences","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual USA","acronym":"GPCE '20"},"container-title":["Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3425898.3426955","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3425898.3426955","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:24Z","timestamp":1750195464000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3425898.3426955"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,16]]},"references-count":27,"alternative-id":["10.1145\/3425898.3426955","10.1145\/3425898"],"URL":"https:\/\/doi.org\/10.1145\/3425898.3426955","relation":{},"subject":[],"published":{"date-parts":[[2020,11,16]]},"assertion":[{"value":"2020-11-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}