María Alpuente Frasnedo

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

• Artículos de revistas

  • Partial Evaluation of Functional Logic Programs

    María Alpuente Frasnedo, Moreno Falaschi

    ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 20, Nº 4, 1998, págs. 768-844

    

  • Generación de planes en un entorno lógico-ecuacional

    María Alpuente Frasnedo, Mª José Ramis, María José Ramírez

    Informática y automática: revista de la Asociación Española de Informática y Automática, ISSN 0214-932X, Vol. 25, Nº. 3-4, 1992, págs. 31-41

    • Resumen
    

• Libros

  • Programacion Logica Teoria Y Practica

    María Alpuente Frasnedo, Pascual Julián Iranzo

    Pearson Educación. ISBN 84-8322-368-6

    

• Tesis

  • El Lenguaje CLP(H/E): Una Aproximación basada en Restricciones a la Integración de la Programación Lógica y Funcional

    María Alpuente Frasnedo

    Tesis doctoral dirigida por Giorgio Levi, Isidro Ramos Salavert. Universitat Politècnica de València (1991).

    • Resumen
    • Texto completo
    

• Tesis dirigidas

  • Rewriting-based Verification and Debugging of Web Systems

    Daniel Omar Romero

    Tesis doctoral dirigida por María Alpuente Frasnedo, Demis Ballis. Universitat Politècnica de València (2011).

    • Resumen
    • Texto completo
    

  • Abstract certification of java programs in rewriting logic

    Mauricio Fernando Alba Castro

    Tesis doctoral dirigida por María Alpuente Frasnedo, Santiago Escobar Román. Universitat Politècnica de València (2011).

    

  • Rewriting-based verification and debugging of web systems

    Daniel Omar Romero

    Tesis doctoral dirigida por María Alpuente Frasnedo, Demis Ballis. Universitat Politècnica de València (2011).

    

  • Abstract Certification of Java Programs in Rewriting Logic

    Mauricio Fernando Alba Castro

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

    • Resumen
    • Texto completo
    

  • Rule-based methodologies for the specification and analysis of complex computing systems

    Michele Baggi

    Tesis doctoral dirigida por María Alpuente Frasnedo, Moreno Falaschi. Universitat Politècnica de València (2010).

    • Resumen
    • Texto completo
    

  • Termination of narrowing: automated proofs and modularity properties

    José Iborra López

    Tesis doctoral dirigida por Santiago Escobar Román, María Alpuente Frasnedo. Universitat Politècnica de València (2010).

    • Resumen
    

  • Rule-Based Software Verification and Correction

    Demis Ballis

    Tesis doctoral dirigida por María Alpuente Frasnedo, Moreno Falaschi. Universitat Politècnica de València (2005).

    • Resumen
    • Texto completo
    

  • Strategies and analysis techniques for functional program optimization

    Santiago Escobar Román

    Tesis doctoral dirigida por María Alpuente Frasnedo, Salvador Lucas Alba. Universitat Politècnica de València (2003).

    • Resumen
    

  • Model checking for the concurrent constraint paradigm

    Alicia Villanueva García

    Tesis doctoral dirigida por María Alpuente Frasnedo, Moreno Falaschi. Universitat Politècnica de València (2003).

    • Resumen
    

  • Depuración declarativa de programas lógico funcionales

    Francisco José Correa Zabala

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

    

  • 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
    

  • Especialización de programas lógico-funcionales perezosos

    Pascual Julián Iranzo

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

    • 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
    

  • Preescritura con restricciones de reemplazamiento

    Salvador Lucas Alba

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

    • Resumen
    

  • 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
    

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.