Travelled to:1 × Italy
1 × Portugal
1 × The Netherlands
2 × Japan
Collaborated with:C.Rubio-Manzano C.V.Lamus ∅ M.Alpuente M.Falaschi G.Vidal E.Albert
Talks about:function (2) special (2) program (2) logic (2) transform (1) determin (1) definit (1) correct (1) control (1) semant (1)
Person: Pascual Julián Iranzo
DBLP: Iranzo:Pascual_Juli=aacute=n
Contributed to:
2009
20042002
1998
1997Wrote 5 papers:
- PPDP-2009-IranzoR #declarative #prolog #semantics
- A declarative semantics for Bousi~Prolog (PJI, CRM), pp. 149–160.
- FLOPS-2004-IranzoL
- Analysing Definitional Trees: Looking for Determinism (PJI, CVL), pp. 55–69.
- FLOPS-2002-Iranzo #correctness #on the
- On the Correctness of the Factoring Transformation (PJI), pp. 119–133.
- SAS-1998-AlbertAFJV #functional #logic programming
- Improving Control in Functional Logic Program Specialization (EA, MA, MF, PJI, GV), pp. 262–277.
- PEPM-1997-AlpuenteFJV #functional #lazy evaluation #logic programming #source code
- Specialization of Lazy Functional Logic Programs (MA, MF, PJI, GV), pp. 151–162.