{"id":1756,"count":0,"description":"Las líneas de investigación en las que se basa nuestro trabajo son las siguientes:\n \n\nCertificación de código móvil\nComputación distribuida y paralela, consciente de los recursos\nDiseño e implementación de lenguajes declarativos y multiparadigma\nAnálisis estático y transformación automática de programas\nHerramientas de depuración y verificación de programas\nCompilación optimizante, máquinas abstractas, concurrencia\n","link":"https:\/\/www.upm.es\/recursosidi\/en\/map\/en_computational-logic-languages-implementation-and-parallelism-clip\/","name":"Computational logic, Languages, Implementation and Parallelism (CLIP)","slug":"en_computational-logic-languages-implementation-and-parallelism-clip","taxonomy":"donde","parent":0,"meta":[],"id_grupo_portal":"326","acronimo":"CLIP","resumen":"

\n We are a group of researchers from the HTSE for IT Engineers at the UPM and the IMDEA Software Institute<\/a> (the Madrid Institute for Advanced Studies in Software Development Technologies).<\/span>\n <\/p>","imagen":false,"responsable":"Manuel De Hermenegildo Salinas","lineas":"Certification of mobile code\nDebugging tools and program verification\nDesign and implementation of declarative and multi-paradigm languages\nDistributed and parallel computing, aware of resources\nImproved compilation, abstract machines, concurrency.\nStatic Analysis and Automatic Program Transformation","direccion":"","telefono":"910672893","pagina_web":"http:\/\/www.cliplab.org\/","email":"gi.clip@upm.es","actividades":"

\n The Computational logic, Languages, Implementation and Parallelism Group has been doing research work for more than 25 years on matters relating to progress with fundamentals, analysis and implementation of declarative programming languages, program verification and static debugging, efficient, easy use of parallel and distributed architectures, extension of these languages to new computational paradigms (e.g., for restrictions, with agents, mobile, etc.) and the industrial application of the research carried out to different practical fields.<\/span>\n <\/p>\n

\n The group develops the Ciao multi-paradigm programming system, which is free software under an LGPL licence, with numerous industrial and academic users internationally. The group has taken part in more than 50 European research projects, work groups, thematic networks and other international, national and industrial projects.<\/span>\n <\/p>","contenido":"","pictures":"http:\/\/www.upm.es\/observatorio\/vi\/gestor_general\/recuperar_archivo.jsp?id=1051\rhttp:\/\/www.upm.es\/observatorio\/vi\/gestor_general\/recuperar_archivo.jsp?id=1052","descripcion":"

\n The lines of research our work is based on are as follows:\n <\/p>\n