Travelled to:1 × Belgium
1 × France
1 × Spain
Collaborated with:∅ A.Jorge M.Heaney
Talks about:ada (3) xml (2) spitbol (1) project (1) process (1) persist (1) contain (1) theori (1) applic (1) safe (1)
Person: Mário Amado Alves
DBLP: Alves:M=aacute=rio_Amado
Contributed to:
200420032001Wrote 3 papers:
- AdaEurope-2004-Alves #ada #formal method #persistent
- A Theory of Persistent Containers and Its Application to Ada (MAA), pp. 297–308.
- AdaEurope-2003-AlvesJH #ada #using #xml
- The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project (MAA, AJ, MH), pp. 196–207.
- AdaEurope-2001-Alves #ada #web #xml
- Safe Web Forms and XML Processing with Ada (MAA), pp. 349–358.