InstitucionesÁreas de conocimientoPeriodo de publicación recogido
|
|
|
|
|
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).
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).
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).
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).
Reglas y estrategias de transformación para programas lógico-funcionales
Tesis doctoral dirigida por María Alpuente Frasnedo, Germán Vidal Oriola. Universitat Politècnica de València (2000).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. 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.
© 2001-2013 Fundación Dialnet · Todos los derechos reservados