Germán Vidal Oriola

• Tesis (1)
• Tesis dirigidas (4)

• Tesis

  • Análisis semántico y transformación de programas lógico-funcionales

    Germán Vidal Oriola

    Tesis doctoral dirigida por María Alpuente Frasnedo . Universitat Politècnica de València (1996).

    • Resumen
    

• Tesis dirigidas

  • Una aproximación offline a la evaluación parcial dirigida por narrowing

    J. Guadalupe Ramos Díaz

    Tesis doctoral dirigida por Germán Vidal Oriola. Universitat Politècnica de València (2007).

    • Resumen
    • Texto completo
    

  • Debugging techniques for declarative languages: profiling, program slicing and algorithmic debugging

    Josep Francesc Silva Galiana

    Tesis doctoral dirigida por Germán Vidal Oriola. Universitat Politècnica de València (2007).

    • Resumen
    

  • Partial evaluation of multi-paradigm declarative languaces: foundations, control, algorithms and efficiency

    Elvira Albert Albiol

    Tesis doctoral dirigida por Germán Vidal Oriola, María Alpuente Frasnedo . Universitat Politècnica de València (2001).

    • Resumen
    

  • Reglas y estrategias de transformación para programas lógico-funcionales

    Ginés Damián Moreno Valverde

    Tesis doctoral dirigida por María Alpuente Frasnedo , Germán Vidal Oriola. Universitat Politècnica de València (2000).

    • Resumen
    • Texto completo
    

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 toda 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.