BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Alves:M=aacute=rio_Amado

Contributed to:

Ada-Europe 20042004
Ada-Europe 20032003
Ada-Europe 20012001

Wrote 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.

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.