{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:55:42Z","timestamp":1725566142802},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540223801"},{"type":"electronic","value":"9783540277644"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27764-4_7","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T19:25:20Z","timestamp":1284578720000},"page":"110-128","source":"Crossref","is-referenced-by-count":1,"title":["Describing Gen\/Kill Static Analysis Techniques with Kleene Algebra"],"prefix":"10.1007","author":[{"given":"Therrezinha","family":"Fernandes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jules","family":"Desharnais","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Compilers: Principles, Techniques and Tools","author":"A.V. Aho","year":"1989","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques and Tools. Addison-Wesley, Reading (1989)"},{"key":"7_CR2","unstructured":"Overstreet, C.M., Cherinka, R., Sparks, R.: Using bidirectional data flow analysis to support software reuse. Technical Report TR-94-09, Old Dominion University, Computer Science Department (1994)"},{"key":"7_CR3","unstructured":"Moonen, L.: Data flow analysis for reverse engineering. Master\u2019s thesis, Programming Research Group, University of Amsterdam (1996)"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1016\/0167-4048(95)00012-W","volume":"14","author":"R.W. Lo","year":"1995","unstructured":"Lo, R.W., Levitt, K.N., Olsson, R.A.: MCF: A malicious code filter. Computers and Security\u00a014, 541\u2013566 (1995)","journal-title":"Computers and Security"},{"key":"7_CR5","unstructured":"Bergeron, J., Debbabi, M., Desharnais, J., Erhioui, M.M., Lavoie, Y., Tawbi, N.: Static detection of malicious code in executable programs. In: 1st Symposium on Requirements Engineering for Information Security, Indianapolis, IN (2001)"},{"key":"7_CR6","volume-title":"Regular Algebra and Finite Machines","author":"J.H. Conway","year":"1971","unstructured":"Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, London (1971)"},{"key":"7_CR7","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Kleene algebra with domain. Technical Report 2003-7, Institut f\u00fcr Informatik, Universit\u00e4t Augsburg, D-86135 Augsburg (2003)"},{"key":"7_CR8","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Modal Kleene algebra and applications \u2013 A survey. Technical Report DIUL-RR-0401, D\u00e9partement d\u2019informatique et de g\u00e9nie logiciel, Universit\u00e9 Laval, D-86135 Augsburg (2004)"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1006\/inco.1994.1037","volume":"110","author":"D. Kozen","year":"1994","unstructured":"Kozen, D.: A completeness theorem for Kleene algebras and the algebra of regular events. Information and Computation\u00a0110, 366\u2013390 (1994)","journal-title":"Information and Computation"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/256167.256195","volume":"19","author":"D. Kozen","year":"1997","unstructured":"Kozen, D.: Kleene algebra with tests. ACM Transactions on Programming Languages and Systems\u00a019, 427\u2013443 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR11","unstructured":"Kozen, D.: Kleene algebra with tests and the static analysis of programs. Technical Report 2003-1915, Department of Computer Science, Cornell University (2003)"},{"key":"7_CR12","volume-title":"Crafting a Compiler","author":"C.N. Fischer","year":"1988","unstructured":"Fischer, C.N., LeBlanc Jr., R.J.: Crafting a Compiler. Benjamin\/Cummings Publishing Company, Menlo Park (1988)"},{"key":"7_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (1999)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/3-540-57499-9_19","volume-title":"Formal Program Development","author":"B. M\u00f6ller","year":"1993","unstructured":"M\u00f6ller, B.: Derivation of graph and pointer algorithms. In: M\u00f6ller, B., Schuman, S., Partsch, H. (eds.) Formal Program Development. LNCS, vol.\u00a0755, pp. 123\u2013160. Springer, Heidelberg (1993)"},{"key":"7_CR15","unstructured":"Ng, K.C.: Relation algebras with transitive closure. PhD thesis, University of California, Berkeley (1984)"},{"key":"7_CR16","first-page":"29","volume":"24","author":"K.C. Ng","year":"1977","unstructured":"Ng, K.C., Tarski, A.: Relation algebras with transitive closure. Notices of the American Mathematical Society\u00a024, A29\u2013A30 (1977)","journal-title":"Notices of the American Mathematical Society"},{"key":"7_CR17","unstructured":"Kozen, D.: Typed Kleene algebra. Technical Report 98-1669, Computer Science Department, Cornell University (1998)"},{"key":"7_CR18","volume-title":"Relational Methods in Computer Science","author":"G. Schmidt","year":"1997","unstructured":"Schmidt, G., Hattensperger, C., Winter, M.: Heterogeneous relation algebra. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relational Methods in Computer Science, Springer, Heidelberg (1997)"},{"key":"7_CR19","series-title":"EATCS Monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-77968-8","volume-title":"Relations and Graphs","author":"G. Schmidt","year":"1993","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs. EATCS Monographs in Computer Science. Springer, Berlin (1993)"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-540-24771-5_2","volume-title":"Relational and Kleene-Algebraic Methods in Computer Science","author":"J. Desharnais","year":"2004","unstructured":"Desharnais, J.: Kleene algebra with relations. In: Berghammer, R., M\u00f6ller, B., Struth, G. (eds.) RelMiCS 2003. LNCS, vol.\u00a03051, pp. 8\u201320. Springer, Heidelberg (2004)"},{"key":"7_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"568","DOI":"10.1007\/3-540-44957-4_38","volume-title":"Computational Logic - CL 2000","author":"D. Kozen","year":"2000","unstructured":"Kozen, D., Patron, M.C.: Certification of compiler optimizations using Kleene algebra with tests. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 568\u2013582. Springer, Heidelberg (2000)"},{"key":"7_CR22","unstructured":"Heintze, N.: Set Based Program Analysis. PhD thesis, School of Computer Science, Computer Science Division, Carnegie Mellon University, Pittsburgh, PA (1992), CMU-CS-92-201"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27764-4_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:23:36Z","timestamp":1620012216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27764-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223801","9783540277644"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27764-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}