{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:30Z","timestamp":1762458810495},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540237242"},{"type":"electronic","value":"9783540304777"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-30477-7_7","type":"book-chapter","created":{"date-parts":[[2010,2,28]],"date-time":"2010-02-28T18:53:29Z","timestamp":1267383209000},"page":"91-106","source":"Crossref","is-referenced-by-count":32,"title":["Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Lindahl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1996","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent Programming in Erlang, 2nd edn. Prentice Hall Europe, Herfordshire (1996)","edition":"2"},{"issue":"1","key":"7_CR2","first-page":"10","volume":"75","author":"S. Blau","year":"1998","unstructured":"Blau, S., Rooth, J.: AXD 301\u2014A new generation ATM switching system. Ericsson Review\u00a075(1), 10\u201317 (1998)","journal-title":"Ericsson Review"},{"issue":"4","key":"7_CR3","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Prog. Lang. Syst.\u00a013(4), 451\u2013490 (1991)","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1145\/781131.781149","volume-title":"Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation","author":"N. Dor","year":"2003","unstructured":"Dor, N., Rodeh, M., Sagiv, M.: CSSV: Towards a realistic tool for statically detecting all buffer overflows in C. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pp. 155\u2013167. ACM Press, New York (2003)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-540-24622-0_17","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"D. Engler","year":"2004","unstructured":"Engler, D., Musuvathi, M.: Static analysis versus software model checking for bug finding. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 191\u2013210. Springer, Heidelberg (2004)"},{"issue":"1","key":"7_CR6","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/52.976940","volume":"19","author":"D. Evans","year":"2002","unstructured":"Evans, D., Larochelle, D.: Improving security using extensible lightweight static analysis. IEEE Software\u00a019(1), 42\u201351 (2002)","journal-title":"IEEE Software"},{"issue":"2","key":"7_CR7","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1017\/S0956796801004208","volume":"12","author":"R.B. Findler","year":"2002","unstructured":"Findler, R.B., Clements, J., Flanagan, C., Flatt, M., Krishnamurthi, S., Steckler, P., Felleisen, M.: DrScheme: A programming environment for Scheme. Journal of Functional Programming\u00a012(2), 159\u2013182 (2002)","journal-title":"Journal of Functional Programming"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1145\/512529.512558","volume-title":"Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation","author":"C. Flanagan","year":"2002","unstructured":"Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. In: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pp. 234\u2013245. ACM Press, New York (2002)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-44898-5_8","volume-title":"Static Analysis","author":"M.V. Hermenegildo","year":"2003","unstructured":"Hermenegildo, M.V., Puebla, G., Bueno, F., L\u00f3pez-Garc\u00eda, P.: Program development using abstract interpretation (and the Ciao system preprocessor). In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 127\u2013152. Springer, Heidelberg (2003)"},{"key":"7_CR10","first-page":"32","volume-title":"Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming","author":"E. Johansson","year":"2000","unstructured":"Johansson, E., Pettersson, M., Sagonas, K.: HiPE: A High Performance Erlang system. In: Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, New York, NY, pp. 32\u201343. ACM Press, New York (2000)"},{"key":"7_CR11","first-page":"136","volume-title":"Proceedings of the ACM SIGPLAN International Conference on Functional Programming","author":"S. Marlow","year":"1997","unstructured":"Marlow, S., Wadler, P.: A practical subtyping system for Erlang. In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pp. 136\u2013149. ACM Press, New York (1997)"},{"key":"7_CR12","first-page":"7","volume-title":"Proceedings of the Twelfth Annual ACM Symposium on the Principles of Programming Languages","author":"P. Mishra","year":"1984","unstructured":"Mishra, P., Reddy, U.S.: Declaration-free type checking. In: Proceedings of the Twelfth Annual ACM Symposium on the Principles of Programming Languages, pp. 7\u201321. ACM Press, New York (1984)"},{"key":"7_CR13","volume-title":"Advanced Compiler Design & Implementation","author":"S.S. Muchnick","year":"1997","unstructured":"Muchnick, S.S.: Advanced Compiler Design & Implementation. Morgan Kaufman Publishers, San Fransisco (1997)"},{"key":"7_CR14","first-page":"521","volume-title":"Proceedings of the Sixth International Conference on Logic Programming","author":"L. Naish","year":"1989","unstructured":"Naish, L., Dart, P.W., Zobel, J.: The NU-Prolog debugging environment. In: Porto, A. (ed.) Proceedings of the Sixth International Conference on Logic Programming, pp. 521\u2013536. The MIT Press, Cambridge (1989)"},{"key":"7_CR15","first-page":"56","volume-title":"Proceedings of ACM SIGPLAN Erlang Workshop","author":"S.-O. Nystr\u00f6m","year":"2003","unstructured":"Nystr\u00f6m, S.-O.: A soft-typing system for Erlang. In: Proceedings of ACM SIGPLAN Erlang Workshop, pp. 56\u201371. ACM Press, New York (2003)"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-45788-7_14","volume-title":"Functional and Logic Programming","author":"M. Pettersson","year":"2002","unstructured":"Pettersson, M., Sagonas, K., Johansson, E.: The HiPE\/x86 Erlang compiler: System description and performance evaluation. In: Hu, Z., Rodr\u00edguez-Artalejo, M. (eds.) FLOPS 2002. LNCS, vol.\u00a02441, pp. 228\u2013244. Springer, Heidelberg (2002)"},{"issue":"12","key":"7_CR17","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/636517.636525","volume":"37","author":"U. Wiger","year":"2002","unstructured":"Wiger, U., Ask, G., Boortz, K.: World-class product certification using Erlang. SIGPLAN Notices\u00a037(12), 25\u201334 (2002)","journal-title":"SIGPLAN Notices"},{"issue":"1","key":"7_CR18","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/239912.239917","volume":"19","author":"A. Wright","year":"1997","unstructured":"Wright, A., Cartwright, R.: A practical soft type system for Scheme. ACM Trans. Prog. Lang. Syst.\u00a019(1), 87\u2013152 (1997)","journal-title":"ACM Trans. Prog. Lang. Syst."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30477-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T10:38:49Z","timestamp":1552387129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30477-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540237242","9783540304777"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30477-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}