Travelled to:1 × France
1 × Ireland
Collaborated with:J.E.L.Gayo A.C.d.Río C.F.Acebal B.Bos M.Rodríguez M.C.L.Díez
Talks about:javascript (1) implement (1) construct (1) prototyp (1) templat (1) softwar (1) modular (1) languag (1) verifi (1) system (1)
Person: Juan Manuel Cueva Lovelle
DBLP: Lovelle:Juan_Manuel_Cueva
Contributed to:
2012
2001
2000Wrote 3 papers:
- DocEng-2012-AcebalBRL #css #implementation #javascript #layout #named
- ALMcss: a javascript implementation of the CSS template layout module (CFA, BB, MR, JMCL), pp. 23–32.
- 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.