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 × Belgium
1 × Greece
1 × Italy
1 × Spain
1 × Sweden
1 × Switzerland
1 × USA
2 × Japan
Collaborated with:
M.Rodríguez-Artalejo J.C.G.Moreno A.J.Fernández F.Sáenz-Pérez E.Ullán F.J.López-Fraguas S.E.Martín R.d.V.Vírseda
Talks about:
logic (7) program (6) function (5) semant (3) constraint (2) complet (2) system (2) rewrit (2) narrow (2) declar (2)

Person: Maria Teresa Hortalá-González

DBLP DBLP: Hortal=aacute=-Gonz=aacute=lez:Maria_Teresa

Contributed to:

PPDP 20082008
PADL 20032003
FLOPS 20012001
FLOPS 19991999
ICLP 19971997
ESOP 19961996
CSL 19921992
CSL 19911991
ICALP 19851985

Wrote 9 papers:

PPDP-2008-MartinFHRSV #constraints
Cooperation of constraint domains in the TOY system (SEM, AJF, MTHG, MRA, FSP, RdVV), pp. 258–268.
PADL-2003-FernandezHS #combinator #constraints #functional #logic #problem
Solving Combinatorial Problems with a Constraint Functional Logic Language (AJF, MTHG, FSP), pp. 320–338.
FLOPS-2001-Hortala-GonzalezU #automaton #calculus #lazy evaluation
An Abstract Machine Based System for a Lazy Narrowing Calculus (MTHG, EU), pp. 216–232.
FLOPS-1999-Gonzalez-MorenoHR #functional #logic programming #semantics
Semantics and Types in Functional Logic Programming (JCGM, MTHG, MRA), pp. 1–20.
ICLP-1997-Gonzalez-MorenoHR #functional #higher-order #logic programming
A Higher Order Rewriting Logic for Functional Logic Programming (JCGM, MTHG, MRA), pp. 153–167.
ESOP-1996-Gonzalez-MorenoHLR #declarative #logic #programming
A Rewriting Logic for Declarative Programming (JCGM, MTHG, FJLF, MRA), pp. 156–172.
CSL-1992-Gonzalez-MorenoHR #functional #logic programming #on the #semantics
On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming (JCGM, MTHG, MRA), pp. 216–230.
CSL-1991-Gonzalez-MorenoHR #declarative #functional #programming #semantics
Denotational Versus Declarative Semantics for Functional Programming (JCGM, MTHG, MRA), pp. 134–148.
ICALP-1985-Hortala-GonzalezR #hoare #logic #nondeterminism #source code #standard #theorem
Hoare’s Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem (MTHG, MRA), pp. 270–280.
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.