BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Iranzo:Pascual_Juli=aacute=n

Contributed to:

PPDP 20092009
FLOPS 20042004
FLOPS 20022002
SAS 19981998
PEPM 19971997

Wrote 5 papers:

PPDP-2009-IranzoR #declarative #prolog #semantics
A declarative semantics for Bousi~Prolog (PJI, CRM), pp. 149–160.
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.

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.