Área de conocimientoIdentificadores de autorPeriodo de publicación recogido
|
|
|
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
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
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
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
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
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
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
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
Programacion Logica Teoria Y Practica
María Alpuente Frasnedo, Pascual Julián Iranzo
Pearson Educación. ISBN 84-8322-368-6
María Alpuente Frasnedo, Universitat Politècnica de València
Universitat Politècnica de València, 1988. ISBN 84-7721-053-5
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).
Partial evaluation of rewriting logic theories
Tesis doctoral dirigida por Santiago Escobar Román (dir. tes.), María Alpuente Frasnedo (dir. tes.). Universitat Politècnica de València (2019).
Rewriting Logic Techniques for Program Analysis and Optimization
Tesis doctoral dirigida por Demis Ballis (dir. tes.), María Alpuente Frasnedo (dir. tes.). Universitat Politècnica de València (2017).
Francisco Frechina Navarro
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.), Demis Ballis (dir. tes.). Universitat Politècnica de València (2014).
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).
Rewriting-based Verification and Debugging of Web Systems
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.), Demis Ballis (dir. tes.). Universitat Politècnica de València (2011).
Abstract Certification of Java Programs in Rewriting Logic
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.). Universitat Politècnica de València (2011).
Rule-based methodologies for the specification and analysis of complex computing systems
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.), Moreno Falaschi (dir. tes.). Universitat Politècnica de València (2010).
Termination of narrowing: automated proofs and modularity properties
Tesis doctoral dirigida por Santiago Escobar Román (dir. tes.), María Alpuente Frasnedo (dir. tes.). Universitat Politècnica de València (2010).
Rule-Based Software Verification and Correction
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.), Moreno Falaschi (dir. tes.). Universitat Politècnica de València (2005).
Strategies and analysis techniques for functional program optimization
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.), Salvador Lucas Alba (dir. tes.). Universitat Politècnica de València (2003).
Model checking for the concurrent constraint paradigm
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.), Moreno Falaschi (dir. tes.). Universitat Politècnica de València (2003).
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).
Partial evaluation of multi-paradigm declarative languaces: foundations, control, algorithms and efficiency
Tesis doctoral dirigida por Germán Vidal Oriola (dir. tes.), María Alpuente Frasnedo (dir. tes.). Universitat Politècnica de València (2001).
Especialización de programas lógico-funcionales perezosos
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.). Universitat Politècnica de València (2000).
Reglas y estrategias de transformación para programas lógico-funcionales
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.), Germán Vidal Oriola (dir. tes.). Universitat Politècnica de València (2000).
Reescritura con restricciones de reemplazamiento
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.). Universitat Politècnica de València (1998).
Análisis semántico y transformación de programas lógico-funcionales
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.). Universitat Politècnica de València (1996).
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 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-2024 Fundación Dialnet · Todos los derechos reservados