Travelled to:1 × Ireland
Collaborated with:J.E.L.Gayo J.M.C.Lovelle 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: Agustín Cernuda del Río
DBLP: R=iacute=o:Agust=iacute=n_Cernuda_del
Contributed 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.