Travelled to:1 × Belgium
1 × Denmark
1 × Estonia
1 × Germany
1 × India
1 × Italy
1 × Spain
2 × France
2 × Japan
4 × USA
Collaborated with:S.Muñoz-Hernández J.Mariño H.Kuchen M.Rodríguez-Artalejo ∅ J.Mariño-Carballo R.Loogen Á.García-Pérez P.Nogueira J.A.Jimènez-Martin M.V.Hermenegildo F.J.López-Fraguas S.Winkler W.Hans G.Marpons-Ucero M.Carro Á.Herranz-Nieva L.Fredlund
Talks about:logic (7) narrow (6) implement (5) function (5) program (5) negat (5) construct (4) compil (4) lazi (4) use (4)
Person: Juan José Moreno-Navarro
DBLP: Moreno-Navarro:Juan_Jos=eacute=
Contributed to:
2013
2008
2004
20042003200019991995199419931992
199219921990
19901988Wrote 17 papers:
- PPDP-2013-Garcia-PerezNM #order #semantics
- Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order (ÁGP, PN, JJMN), pp. 85–96.
- PADL-2008-Marpons-UceroMCHMF #automation #consistency #logic programming #using
- Automatic Coding Rule Conformance Checking Using Logic Programming (GMU, JMC, MC, ÁHN, JJMN, LÅF), pp. 18–34.
- FLOPS-2004-Munoz-HernandezMM
- Constructive Intensional Negation (SMH, JM, JJMN), pp. 39–54.
- ICLP-2004-Munoz-HernandezM #implementation
- Implementation Results in Classical Constructive Negation (SMH, JJMN), pp. 284–298.
- ICLP-2003-Munoz-HernandezM #implementation
- A Real Implementation for Constructive Negation (SMH, JJMN), pp. 496–497.
- PADL-2000-MarinoM #functional #logic programming #source code #static analysis #using
- Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), pp. 63–80.
- PADL-2000-Moreno-NavarroM #compilation #how #prolog
- How to Incorporate Negation in a Prolog Compiler (JJMN, SMH), pp. 124–140.
- ICLP-1999-MarinoM #functional #logic programming #source code #static analysis #using
- Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), p. 614.
- ICLP-1995-Moreno-Navarro #constraints #inheritance #logic programming #tuple
- Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming (JJMN), p. 829.
- ICLP-1994-Moreno-Navarro
- Default Rules: An Extension of Constructive Negation for Narrowing-based Languages (JJMN), pp. 535–549.
- PLILP-1993-Moreno-NavarroKMWH #analysis #lazy evaluation #performance #using
- Efficient Lazy Narrowing using Demandedness Analysis (JJMN, HK, JMC, SW, WH), pp. 167–183.
- 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.
- LOPSTR-1992-Jimenez-MartinMM #compilation #lazy evaluation #performance #prolog
- Efficient Compilation of Lazy Narrowing into Prolog (JAJM, JMC, JJMN), pp. 253–270.
- PLILP-1992-KuchenMH #implementation #independence
- Independent AND-Parallel Implementation of Narrowing (HK, JJMN, MVH), pp. 24–38.
- ALP-1990-Moreno-NavarroKLR #graph #lazy evaluation
- Lazy Narrowing in a Graph Machine (JJMN, HK, RL, MRA), pp. 298–317.
- ESOP-1990-KuchenLMR #functional #graph #implementation #logic
- Graph-based Implementation of a Functional Logic Langugage (HK, RL, JJMN, MRA), pp. 271–290.
- ALP-1988-Moreno-NavarroR #functional #logic programming #named #programming language
- BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing (JJMN, MRA), pp. 223–232.