Germán Vidal Oriola

• Colaboraciones en obras colectivas (3)
• Tesis (1)
• Tesis dirigidas (7)

• Colaboraciones en obras colectivas

  • Seleccionado

    A fast procedure for the strong termination analysis of logic programs

    Michael Leuschel, Salvador Tamarit, Germán Vidal Oriola

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 275-284

    
  • Seleccionado

    Towards Router Specification in Curry: The Language ROSE

    J. Guadalupe Ramos Díaz, Germán Vidal Oriola, Josep Silva

    III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 / coord. por Juan José Moreno Navarro , Manuel Palomar Sanz , 2003, ISBN MU-2299-2003, pág. 105

    
  • Seleccionado

    La enseñanza de Java en los estudios de Informática

    Elvira Albert , Javier Oliver, Germán Vidal Oriola

    VI Jornadas sobre la Enseñanza Universitaria de la Informática: JENUI 2000 : Libro de Comunicaciones / coord. por Rosalía Peña Ros , Pedro Antonio Ramos Alonso , Antonio José de Vicente Rodríguez, 2000, ISBN 84-8138-409-7, págs. 557-562

    • Texto completo
    

• Tesis

  • Seleccionado

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

    Germán Vidal Oriola

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

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Formal methods for constraint-based testing and reversible debugging in erlang

    Adrián Palacios Corella

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

    • Resumen
    • Tesis en acceso abierto en: RiuNet
    
  • Seleccionado

    Analysis Techniques for Concurrent Programming Languages

    Salvador Tamarit Muñoz

    Tesis doctoral dirigida por Germán Vidal Oriola (dir. tes.), Josep Francesc Silva Galiana (dir. tes.) . Universitat Politècnica de València (2013).

    • Resumen
    • Tesis en acceso abierto en:  RiuNet  TESEO 
    
  • Seleccionado

    Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones

    Gustavo Arroyo Delgado

    Tesis doctoral dirigida por J. Guadalupe Ramos Díaz (dir. tes.), Germán Vidal Oriola (dir. tes.). Universitat Politècnica de València (2012).

    • Resumen
    • Tesis en acceso abierto en:  RiuNet  TESEO 
    
  • Seleccionado

    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 (dir. tes.). Universitat Politècnica de València (2007).

    • Resumen
    • Tesis en acceso abierto en: RiuNet
    
  • Seleccionado

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

    Josep Francesc Silva Galiana

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

    • Resumen
    
  • Seleccionado

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

    Elvira Albert

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

    • Resumen
    
  • Seleccionado

    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 (dir. tes.) , Germán Vidal Oriola (dir. tes.). Universitat Politècnica de València (2000).

    • Resumen
    • Tesis en acceso abierto en: RiuNet
    

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.