{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:28:33Z","timestamp":1725542913243},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540377566"},{"type":"electronic","value":"9783540377580"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11823230_22","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T13:46:30Z","timestamp":1155822390000},"page":"336-352","source":"Crossref","is-referenced-by-count":26,"title":["Static Analysis for Java Servlets and JSP"],"prefix":"10.1007","author":[{"given":"Christian","family":"Kirkegaard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anders","family":"M\u00f8ller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)"},{"key":"22_CR2","unstructured":"Arkin, A., et al.: Web Services Business Process Execution Language Version 2.0. OASIS, Committee Draft (December 2005)"},{"issue":"9","key":"22_CR3","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s00236-002-0085-4","volume":"38","author":"J. Berstel","year":"2002","unstructured":"Berstel, J., Boasson, L.: Formal properties of XML grammars and languages. Acta Informatica\u00a038(9), 649\u2013671 (2002)","journal-title":"Acta Informatica"},{"key":"22_CR4","unstructured":"Br\u00fcggemann-Klein, A., Wood, D.: Balanced context-free grammars, hedge grammars and pushdown caterpillar automata. In: Proc. Extreme Markup Languages (2004)"},{"issue":"6","key":"22_CR5","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1145\/945885.945890","volume":"25","author":"A.S. Christensen","year":"2003","unstructured":"Christensen, A.S., M\u00f8ller, A., Schwartzbach, M.I.: Extending Java for high-level Web service construction. ACM Transactions on Programming Languages and Systems\u00a025(6), 814\u2013875 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44898-5_1","volume-title":"Static Analysis","author":"A.S. Christensen","year":"2003","unstructured":"Christensen, A.S., M\u00f8ller, A., Schwartzbach, M.I.: Precise analysis of string expressions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 1\u201318. Springer, Heidelberg (2003)"},{"issue":"3","key":"22_CR7","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.datak.2005.03.007","volume":"56","author":"M.H. Jansen-Vullers","year":"2006","unstructured":"Jansen-Vullers, M.H., van der Aalst, W.M.P., Rosemann, M.: Mining configurable enterprise information systems. Data & Knowledge Engineering\u00a056(3), 195\u2013244 (2006)","journal-title":"Data & Knowledge Engineering"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Kirkegaard, C., M\u00f8ller, A.: Type checking with XML Schema in Xact. Technical Report RS-05-31, BRICS. Presented at Programming Language Technologies for XML, PLAN-X\u00a02006 (2005)","DOI":"10.7146\/brics.v12i31.21898"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Kirkegaard, C., M\u00f8ller, A.: Static analysis for Java Servlets and JSP. Technical Report RS-06-10, BRICS (2006)","DOI":"10.7146\/brics.v13i10.21915"},{"issue":"3","key":"22_CR10","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/TSE.2004.1271173","volume":"30","author":"C. Kirkegaard","year":"2004","unstructured":"Kirkegaard, C., M\u00f8ller, A., Schwartzbach, M.I.: Static analysis of XML transformations in Java. IEEE Transactions on Software Engineering\u00a030(3), 181\u2013192 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR11","unstructured":"Kirkegaard, C., M\u00f8ller, A.: dk.brics.schematools (2006), http:\/\/www.brics.dk\/schematools\/"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/S0019-9958(67)90564-5","volume":"11","author":"D.E. Knuth","year":"1967","unstructured":"Knuth, D.E.: A characterization of parenthesis languages. Information and Control\u00a011, 269\u2013289 (1967)","journal-title":"Information and Control"},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1145\/1060745.1060809","volume-title":"Proc. 14th International Conference on World Wide Web, WWW 2005","author":"Y. Minamide","year":"2005","unstructured":"Minamide, Y.: Static approximation of dynamically generated Web pages. In: Proc. 14th International Conference on World Wide Web, WWW 2005, pp. 432\u2013441. ACM Press, New York (2005)"},{"key":"22_CR14","volume-title":"Regular Approximation of Context-Free Grammars through Transformation","author":"M. Mohri","year":"2001","unstructured":"Mohri, M., Nederhof, M.-J.: Robustness in Language and Speech Technology. In: Regular Approximation of Context-Free Grammars through Transformation, vol.\u00a09. Kluwer Academic, Dordrecht (2001)"},{"key":"22_CR15","unstructured":"Sun Microsystems. Java Servlet Specification, Version 2.4 (2003), available from: http:\/\/java.sun.com\/products\/servlet\/"},{"key":"22_CR16","unstructured":"Sun Microsystems. JavaServer Pages Specification, Version 2.0 (2003), available from: http:\/\/java.sun.com\/products\/jsp\/"},{"key":"22_CR17","unstructured":"Vallee-Rai, R., Hendren, L., Sundaresan, V., Lam, P., Gagnon, E., Co, P.: Soot \u2013 a Java optimization framework. In: Proc. IBM Centre for Advanced Studies Conference, CASCON 1999, IBM (November 1999)"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-540-25975-6_12","volume-title":"Advanced Information Systems Engineering","author":"W.M.P. Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Aldred, L., Dumas, M., ter Hofstede, A.H.M.: Design and implementation of the YAWL system. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol.\u00a03084, pp. 142\u2013159. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11823230_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:17:04Z","timestamp":1605644224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11823230_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540377566","9783540377580"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11823230_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}