TY - THES AU - Segura Díaz, Clara María A3 - Peña Marí, Ricardo PY - 2004 DO - b21867343 SN - 978-84-669-1810-7 UR - https://hdl.handle.net/20.500.14352/55163 AB - Las tecnicas de análisis de programas se han demostrado útiles en todo tipo de lenguajes de programación para determinar de forma estática aproximaciones a las propiedades dinámicas de los programas. Sus aplicaciones incluyen la optimización y... LA - spa PB - Universidad Complutense de Madrid, Servicio de Publicaciones KW - Programas y sistemas de programación TI - Análisis de programas en lenguajes funcionales paralelos M3 - doctoral thesis ER -