BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Estonia
1 × France
1 × Poland
1 × Spain
1 × Sweden
1 × United Kingdom
3 × USA
5 × Italy
5 × Japan
Collaborated with:
J.Sánchez-Hernández M.Rodríguez-Artalejo J.Rodríguez-Hortalá R.Caballero R.d.V.Vírseda P.Arenas-Sánchez E.Martin-Martin M.Rodrúguez-Arteljo J.Álvez ∅ J.M.Cleva J.Leach A.Gil-Luezas R.Loogen J.C.G.Moreno M.T.Hortalá-González H.Kuchen J.J.Moreno-Navarro
Talks about:
logic (15) function (14) program (13) constraint (8) lazi (6) narrow (5) declar (4) rewrit (3) languag (2) system (2)

Person: Francisco Javier López-Fraguas

DBLP DBLP: L=oacute=pez-Fraguas:Francisco_Javier

Facilitated 1 volumes:

PPDP 2009Ed

Contributed to:

PEPM 20132013
PEPM 20122012
FLOPS 20102010
PEPM 20092009
RTA 20092009
FLOPS 20082008
PPDP 20072007
PPDP 20042004
WRLA 20042005
WRLA 20042007
FLOPS 20022002
FLOPS 20012001
CL 20002000
FLOPS 19991999
PPDP 19991999
RTA 19991999
ALP/PLILP 19981998
ESOP 19961996
PLILP 19941994
PLILP 19931993
ALP 19921992
JICSLP 19921992

Wrote 24 papers:

PEPM-2013-Lopez-FraguasM #evaluation #functional #type system
Typing as functional-logic evaluation (FJLF, EMM), pp. 23–32.
PEPM-2012-Lopez-FraguasMR #functional #logic programming
Well-typed narrowing with extra variables in functional-logic programming (FJLF, EMM, JRH), pp. 83–92.
FLOPS-2010-AlvezL #axiom #similarity #strict
A Complete Axiomatization of Strict Equality (JÁ, FJLF), pp. 118–133.
PEPM-2009-Lopez-FraguasRS #flexibility #framework #nondeterminism #programming
A flexible framework for programming with non-deterministic functions (FJLF, JRH, JSH), pp. 91–100.
RTA-2009-Lopez-FraguasRS #semantics
A Fully Abstract Semantics for Constructor Systems (FJLF, JRH, JSH), pp. 320–334.
FLOPS-2008-Lopez-FraguasRS
Rewriting and Call-Time Choice: The HO Case (FJLF, JRH, JSH), pp. 147–162.
PPDP-2007-Lopez-FraguasRS #semantics
A simple rewrite notion for call-time choice semantics (FJLF, JRH, JSH), pp. 197–208.
PPDP-2004-ClevaLL #approach #functional #logic programming #source code #verification
A logic programming approach to the verification of functional-logic programs (JMC, JL, FJLF), pp. 9–19.
PPDP-2004-Lopez-FraguasRV #calculus #constraints #declarative #lazy evaluation #programming
A lazy narrowing calculus for declarative constraint programming (FJLF, MRA, RdVV), pp. 43–54.
WRLA-2004-Lopez-FraguasRV05 #constraints #functional #logic programming #revisited
Constraint Functional Logic Programming Revisited (FJLF, MRA, RdVV), pp. 5–50.
WRLA-J-2004-Lopez-FraguasRV07 #constraints #functional #logic programming
A new generic scheme for functional logic programming with constraints (FJLF, MRA, RdVV), pp. 73–122.
FLOPS-2002-CaballeroL
Dynamic-Cut with Definitional Trees (RC, FJLF), pp. 245–258.
FLOPS-2002-Lopez-FraguasS #functional #logic programming
Narrowing Failure in Functional Logic Programming (FJLF, JSH), pp. 212–227.
FLOPS-2001-CaballeroLR #debugging #declarative #functional #lazy evaluation #logic programming #source code
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs (RC, FJLF, MRA), pp. 170–184.
CL-2000-Lopez-FraguasH #functional #logic programming #proving #source code
Proving Failure in Functional Logic Programs (FJLF, JSH), pp. 179–193.
FLOPS-1999-CaballeroL #functional #parsing
A Functional-Logic Perspective on Parsing (RC, FJLF), pp. 85–99.
PPDP-1999-Arenas-SanchezLR #constraints #functional #logic programming
Functional Plus Logic Programming with Built-In and Symbolic Constraints (PAS, FJLF, MRA), pp. 152–169.
RTA-1999-Lopez-FraguasH #declarative #multi #named #paradigm
TOY: A Multiparadigm Declarative System (FJLF, JSH), pp. 244–247.
ALP-PLILP-1998-Arenas-SanchezLR #constraints #functional #lazy evaluation #logic #multi
Embedding Multiset Constraints into a Lazy Functional Logic Language (PAS, FJLF, MRA), pp. 429–444.
ESOP-1996-Gonzalez-MorenoHLR #declarative #logic #programming
A Rewriting Logic for Declarative Programming (JCGM, MTHG, FJLF, MRA), pp. 156–172.
PLILP-1994-Arenas-SanchezGL #constraints #lazy evaluation
Combining Lazy Narrowing with Disequality Constraints (PAS, AGL, FJLF), pp. 385–399.
PLILP-1993-LoogenFR #lazy evaluation
A Demand Driven Computation Strategy for Lazy Narrowing (RL, FJLF, MRA), pp. 184–200.
ALP-1992-Lopez-Fraguas #constraints #functional #logic programming
A General Scheme for Constraint Functional Logic Programming (FJLF), pp. 213–227.
JICSLP-1992-KuchenLMR #constraints #functional #implementation #lazy evaluation #logic
Implementing a Lazy Functional Logic Language with Disequality Constraints (HK, FJLF, JJMN, MRA), pp. 207–221.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.