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 × Austria
Collaborated with:
C.Gregorio-Rodríguez Y.Ortega-Mallén M.Fernández-Camacho
Talks about:
strategi (1) function (1) preserv (1) partial (1) context (1) conform (1) complet (1) system (1) strict (1) observ (1)

Person: David de Frutos-Escrig

DBLP DBLP: Frutos-Escrig:David_de

Contributed to:

FATES 20042004
TAPSOFT, Vol.1: CAAP 19911991
TAPSOFT, Vol.2: CCPSD 19911991

Wrote 3 papers:

FATES-2004-Frutos-EscrigG #consistency
Preserving Contexts for Soft Conformance Relation (DdFE, CGR), pp. 33–48.
CAAP-1991-Ortega-MallenF #proving
A Complete Proof System for Timed Observations (YOM, DdFE), pp. 412–440.
CCPSD-1991-Frutos-EscrigF #on the #strict
On Narrowing Strategies for Partial Non-Strict Functions (DdFE, MIFC), pp. 416–437.
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.