{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:57Z","timestamp":1761611217429},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540774419"},{"type":"electronic","value":"9783540774426"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-77442-6_3","type":"book-chapter","created":{"date-parts":[[2007,12,19]],"date-time":"2007-12-19T04:35:03Z","timestamp":1198038903000},"page":"18-34","source":"Crossref","is-referenced-by-count":3,"title":["Automatic Coding Rule Conformance Checking Using Logic Programming"],"prefix":"10.1007","author":[{"given":"Guillem","family":"Marpons","sequence":"first","affiliation":[]},{"given":"Julio","family":"Mari\u00f1o","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Carro","sequence":"additional","affiliation":[]},{"given":"\u00c1ngel","family":"Herranz","sequence":"additional","affiliation":[]},{"given":"Juan Jos\u00e9","family":"Moreno-Navarro","sequence":"additional","affiliation":[]},{"given":"Lars-\u00c5ke","family":"Fredlund","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"MIRA Ltd.: MISRA-C:2004. Guidelines for the Use of the C Language in Critical Systems (October 2004)"},{"key":"3_CR2","unstructured":"The Programming Research Group: High-Integrity C++ Coding Standard Manual (May 2004)"},{"key":"3_CR3","unstructured":"Sun Microsystems, http:\/\/java.sun.com\/products\/javacard\/"},{"key":"3_CR4","unstructured":"Global GCC project website, http:\/\/www.ggcc.info\/"},{"key":"3_CR5","unstructured":"Source-Navigator, http:\/\/sourcenav.sourceforge.net\/"},{"key":"3_CR6","unstructured":"Hermenegildo, M., Bueno, F., Cabeza, D., Carro, M., de la Banda, M.G., L\u00f3pez-Garc\u00eda, P., Puebla, G.: The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In: Parallelism and Implementation of Logic and Constraint Logic Programming, Nova Science, Commack, NY, USA, pp. 65\u201385 (April 1999)"},{"issue":"2","key":"3_CR7","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.artint.2004.05.001","volume":"158","author":"K. Kaneiwa","year":"2004","unstructured":"Kaneiwa, K.: Order-Sorted Logic Programming with Predicate Hierarchy. Artificial Intelligence\u00a0158(2), 155\u2013188 (2004)","journal-title":"Artificial Intelligence"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Ramakrishnan, I.V., Rao, P., Sagonas, K.F., Swift, T., Warren, D.S.: Efficient tabling mechanisms for logic programs. In: ICLP, pp. 697\u2013711 (1995)","DOI":"10.7551\/mitpress\/4298.003.0067"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Mu\u00f1oz-Hern\u00e1ndez, S., Moreno-Navarro, J., Hermenegildo, M.: Efficient negation using abstract interpretation. In: Nieuwenhuis, R., Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence and Reasoning, La Habana (Cuba) (2001)","DOI":"10.1007\/3-540-45653-8_33"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/978-3-540-24754-8_5","volume-title":"Functional and Logic Programming","author":"S. Mu\u00f1oz","year":"2004","unstructured":"Mu\u00f1oz, S., Mari\u00f1o, J., Moreno-Navarro, J.J.: Constructive intensional negation. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol.\u00a02998, pp. 39\u201354. Springer, Heidelberg (2004)"},{"key":"3_CR11","volume-title":"The Annotated C++ Reference Manual","author":"M.A. Ellis","year":"1990","unstructured":"Ellis, M.A., Stroustrup, B.: The Annotated C++ Reference Manual. Addison-Wesley, Reading (1990)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Taibi, T.: An Integrated Approach to Design Patterns Formalization. In: Design Pattern Formalization Techniques. IGI Publishing (March 2007)","DOI":"10.4018\/978-1-59904-219-0"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1145\/1101908.1101943","volume-title":"ASE 2005","author":"A. Blewitt","year":"2005","unstructured":"Blewitt, A., Bundy, A., Stark, I.: Automatic verification of design patterns in java. In: Redmiles, D.F., Ellman, T., Zisman, A. (eds.) ASE 2005. 20th IEEE\/ACM International Conference on Automated Software Engineering, Long Beach, CA, USA, November 7-11, 2005, pp. 224\u2013232. ACM Press, New York (2005)"},{"key":"3_CR14","unstructured":"Mens, K., Michiels, I., Wuyts, R.: Supporting software development through declaratively codified programming. In: SEKE, pp. 236\u2013243 (2001)"},{"issue":"10","key":"3_CR15","first-page":"132","volume":"39","author":"D. Hovemeyer","year":"2004","unstructured":"Hovemeyer, D., Pugh, W.: Finding bugs is easy. ACM SIGPLAN Notices\u00a039(10), 132\u2013136 (2004)","journal-title":"ACM SIGPLAN Notices"},{"issue":"5","key":"3_CR16","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/543552.512539","volume":"37","author":"S. Hallem","year":"2002","unstructured":"Hallem, S., Chelf, B., Xie, Y., Engler, D.: A system and language for building system-specific, static analyses. ACM SIGPLAN Notices\u00a037(5), 69\u201382 (2002)","journal-title":"ACM SIGPLAN Notices"},{"key":"3_CR17","first-page":"103","volume-title":"ASE","author":"E.N. Volanschi","year":"2006","unstructured":"Volanschi, E.N.: A portable compiler-integrated approach to permanent checking. In: ASE, pp. 103\u2013112. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"3_CR18","first-page":"363","volume-title":"OOPSLA 2005","author":"M. Martin","year":"2005","unstructured":"Martin, M., Livshits, B., Lam, M.S.: Finding application errors and security flaws using PQL: A program query language. In: OOPSLA 2005. Proceedings of Object-Oriented Programming, Systems, Languages, and Applications, New York, NY, USA, pp. 363\u2013385. ACM Press, New York (2005)"},{"key":"3_CR19","unstructured":"Schwitter, R.: Controlled natural languages, http:\/\/www.ics.mq.edu.au\/~rolfs\/controlled-natural-languages"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77442-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T14:55:38Z","timestamp":1708440938000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77442-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540774419","9783540774426"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77442-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}