Manuel de Hermenegildo Salinas

• Artículos de revistas (2)
• Libros (1)
• Tesis dirigidas (10)

• Artículos de revistas

  • Seleccionado

    Diseño de visualizaciones para programación lógica con restricciones

    Manuel Carro, Manuel de Hermenegildo Salinas

    Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº 150, 2001, pág. 31

    
  • Seleccionado

    Cuestiones planteadas a D. Manuel de Hermenegildo Salinas, Director General de Ciencia y Tecnología del Ministerio de Ciencia y Tecnología

    Manuel de Hermenegildo Salinas (entrevistado)

    Revista madri+d, ISSN-e 1579-9506, Nº. 3 (marzo de 2001), 2001 (Ejemplar dedicado a: Medición de intangibles)

    • Texto completo
    

• Libros

  • Seleccionado

    Functional and logic programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings

    Manuel de Hermenegildo Salinas, Jacques Garrigue

    Berlin : Springer, [2008. ISBN 3-540-78968-5

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    A scalable static analysis framework for reliable program development exploiting incrementality and modularity

    Isabel García Contreras

    Tesis doctoral dirigida por Manuel de Hermenegildo Salinas (dir. tes.). Universidad Politécnica de Madrid (2021).

    • Resumen
    
  • Seleccionado

    Improving run-time checking in dynamic programming language

    Nataliia Stulova

    Tesis doctoral dirigida por Manuel de Hermenegildo Salinas (dir. tes.), José Francisco Morales Caballero (codir. tes.) . Universidad Politécnica de Madrid (2018).

    • Resumen
    • Tesis en acceso abierto en: Archivo Digital UPM
    
  • Seleccionado

    Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos = Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs

    Pablo Chico de Guzmán Huerta

    Tesis doctoral dirigida por Manuel Carro Liñares (dir. tes.) , Manuel de Hermenegildo Salinas (codir. tes.). Universidad Politécnica de Madrid (2012).

    • Resumen
    • Tesis en acceso abierto en: Archivo Digital UPM
    
  • Seleccionado

    Técnicas avanzadas de compilación para programación lógica

    José Francisco Morales Caballero

    Tesis doctoral dirigida por Manuel Carro Liñares (dir. tes.) , Manuel de Hermenegildo Salinas (dir. tes.). Universidad Politécnica de Madrid (2010).

    • Resumen
    • Tesis en acceso abierto en: Archivo Digital UPM
    
  • Seleccionado

    Un sistema de programación lógica extensible y con soporte para análisis global (an extensible, global analysis friendly logic programming system)

    Daniel Cabezas

    Tesis doctoral dirigida por Manuel de Hermenegildo Salinas (dir. tes.). Universidad Politécnica de Madrid (2004).

    • Resumen
    
  • Seleccionado

    Aportaciones al estudio del paralelismo y la concurrencia en la programación lógica

    Manuel Carro Liñares

    Tesis doctoral dirigida por Manuel de Hermenegildo Salinas (dir. tes.). Universidad Politécnica de Madrid (2001).

    • Resumen
    
  • Seleccionado

    Control de granularidad en la ejecución paralela de programas lógicas mediante técnicas de análisis y transformación

    Pedro López García

    Tesis doctoral dirigida por Manuel de Hermenegildo Salinas (dir. tes.). Universidad Politécnica de Madrid (1999).

    • Resumen
    • Tesis en acceso abierto en: Archivo Digital UPM
    
  • Seleccionado

    Técnicas avanzadas de compilación basadas en interpretación abstracta y transformación de programas

    Alvaro German Puebla Sánchez

    Tesis doctoral dirigida por Manuel de Hermenegildo Salinas (dir. tes.). Universidad Politécnica de Madrid (1998).

    • Resumen
    
  • Seleccionado

    Independencia, análisis global y paralelismo en computación lógica con restricciones y planificación dinámica

    M. José García de la Banda García

    Tesis doctoral dirigida por Manuel de Hermenegildo Salinas (dir. tes.). Universidad Politécnica de Madrid (1994).

    • Resumen
    
  • Seleccionado

    Técnicas de transformación de programas lógicos para su optimización y paralelización automática

    Francisco José Bueno Carrillo

    Tesis doctoral dirigida por Manuel de Hermenegildo Salinas (dir. tes.). Universidad Politécnica de Madrid (1994).

    • Resumen
    • Tesis en acceso abierto en: Archivo Digital UPM
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.