Travelled to:1 × Ireland
Collaborated with:J.M.C.Lovelle A.C.d.Río M.C.L.Díez
Talks about:construct (1) prototyp (1) softwar (1) modular (1) languag (1) verifi (1) system (1) semant (1) itacio (1) compon (1)
♂ Person: José Emilio Labra Gayo
DBLP: Gayo:Jos=eacute=_Emilio_Labra
Facilitated 1 volumes:
PrCoContributed to:
2001
2000Wrote 2 papers:
- LDTA-2001-GayoDLR #composition #monad #named #prototype #semantics #using
- LPS: A Language Prototyping System Using Modular Monadic Semantics (JELG, MCLD, JMCL, ACdR), pp. 110–131.
- CBSE-2000-RíoGL #component #named #verification
- Itacio: A Component Model for Verifying Software at Construction Time (ACdR, JELG, JMCL), p. 12.