María Alpuente Frasnedo

• Artículos de revistas (5)
• Colaboraciones en obras colectivas (4)
• Libros (2)
• Tesis (1)
• Tesis dirigidas (17)

• Artículos de revistas

  • Seleccionado

    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

    
  • Seleccionado

    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
    
  • Seleccionado

    Esquema de traducción dirigido por la sintaxis para corrección de errores en lenguajes regulares

    María Alpuente Frasnedo, Francisco Casacuberta Nolla

    Revista de informática y automática, ISSN 0210-8712, Año 22, Nº. 2, 1989, págs. 22-33

    • Resumen
    
  • Seleccionado

    Entorno de programación Lali implementado en Prolog

    María Alpuente Frasnedo, Vicente J. Botti Navarro , Isabel Galiano Ronda , Emilio Sanchís Arnal , Francisco Vila Aparicio, Isidro Ramos Salavert

    Revista de informática y automática, ISSN 0210-8712, Año 20, Nº. 4, 1987, págs. 9-14

    • Resumen
    
  • Seleccionado

    Implementación Lisp de uma máquina CSP

    María Alpuente Frasnedo, Juan Antonio de la Puente Alfaro

    Revista de informática y automática, ISSN 0210-8712, Año 20, Nº. 4, 1987, págs. 39-43

    • Resumen
    

• Colaboraciones en obras colectivas

  • Seleccionado

    Implementing datalog in Maude

    María Alpuente Frasnedo, Marco A. Feliú, Christophe Joubert, Alicia Villanueva García

    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. 15-22

    
  • Seleccionado

    OnDemandOBJ: an optimized OBJ interpreter

    María Alpuente Frasnedo, Santiago Escobar Román , Salvador Lucas Alba

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

    
  • Seleccionado

    Symbolic Model Checking for Timed Concurrent Constraint Programs

    María Alpuente Frasnedo, Moreno Falaschi , Alicia Villanueva García

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

    
  • Seleccionado

    Derivaciones perezosas en programación lógica con restricciones ecuacionales

    Mª José Ramis, Javier Piris, María Alpuente Frasnedo

    Panel '92: actas, XVIII Conferencia Latinoamericana de Informática, 1992, págs. 1008-1015

    • Resumen
    

• Libros

  • Seleccionado

    Programacion Logica Teoria Y Practica

    María Alpuente Frasnedo, Pascual Julián Iranzo

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

    
  • Seleccionado

    Fundamentos de programación

    María Alpuente Frasnedo, Universitat Politècnica de València

    Universitat Politècnica de València, 1988. ISBN 84-7721-053-5

    

• Tesis

  • Seleccionado

    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 (dir. tes.) , Isidro Ramos Salavert (dir. tes.) . Universitat Politècnica de València (1991).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    

• Tesis dirigidas

  • Seleccionado

    Partial evaluation of rewriting logic theories

    Ángel Eduardo Cuenca Ortega

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

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

    Rewriting Logic Techniques for Program Analysis and Optimization

    Julia Sapiña Sanchis

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

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

    A Rewriting-based, Parameterized Exploration Scheme for the Dynamic Analysis of Complex Software Systems

    Francisco Frechina Navarro

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

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

    Logic-based techniques for program analysis and specification synthesis

    Marco Antonio Feliú Gabaldón

    Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.), Alicia Villanueva García (dir. tes.) . Universitat Politècnica de València (2013).

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

    Rewriting-based Verification and Debugging of Web Systems

    Daniel Omar Romero

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

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

    Abstract Certification of Java Programs in Rewriting Logic

    Mauricio Fernando Alba Castro

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

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

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

    Michele Baggi

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

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

    Termination of narrowing: automated proofs and modularity properties

    José Iborra López

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

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

    Rule-Based Software Verification and Correction

    Demis Ballis

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

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

    Strategies and analysis techniques for functional program optimization

    Santiago Escobar Román

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

    • Resumen
    
  • Seleccionado

    Model checking for the concurrent constraint paradigm

    Alicia Villanueva García

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

    • Resumen
    
  • Seleccionado

    Depuración declarativa de programas lógico funcionales

    Francisco José Correa Zabala

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

    • 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

    Especialización de programas lógico-funcionales perezosos

    Pascual Julián Iranzo

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

    • 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
    
  • Seleccionado

    Reescritura con restricciones de reemplazamiento

    Salvador Lucas Alba

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

    • Resumen
    
  • 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
    

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.