Concepedia

Francisco J. López-Fraguas

FJ

12

Publications

538

Citations

11

H-Index

1992

Active since

Affiliations

Universidad Complutense de Madrid(Current)

Francisco J. López-Fraguas is an author at Universidad Complutense de Madrid specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationLogic ProgrammingProgram AnalysisMathematical ProgrammingDecision TheoryMechanism Design

Publications per year

1992–2008

12

Publications

12

An approach to declarative programming based on a rewriting logic

Juan Carlos González Moreno, M.Teresa Hortalá-González, Francisco J. López-Fraguas et al. · The Journal of Logic Programming · 1999 · 189 citations

Declarative Programming, Engineering, Program Analysis +10

Curry: An Integrated Functional Logic Language

Michael Hanus, Sergio Antoy, Herbert Kuchen et al. · 2003 · 134 citations

Type τ, Engineering, Automated Reasoning +12

A simple rewrite notion for call-time choice semantics

Francisco J. López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández · 2007 · 38 citations

Engineering, Ordinary Rewriting, Simple Rewrite Notion +19

A proof theoretic approach to failure in functional logic programming

Francisco J. López-Fraguas, Jaime Sánchez-Hernández · Theory and Practice of Logic Programming · 2004 · 27 citations

Rewriting and call-time choice: the HO case

Francisco J. López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández · International Symposium on Functional and Logic Programming · 2008 · 25 citations

Engineering, Ho Case, Regulated Rewriting +7

Rows per page

1–5 of 12