Bibliography on Proof carrying transformations/Transformations porteuses de preuves (2016-12-22)

Jérôme Euzenat, An infrastructure for formally ensuring interoperability in a heterogeneous semantic web, in: Isabel Cruz, Stefan Decker, Jérôme Euzenat, Deborah McGuinness (eds), The emerging semantic web, IOS press, Amsterdam (NL), 302p., 2002, pp245-260
[BibTeX:euzenat2002d] [Show abstract]
ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2002d.pdf
Semantic web/Web sémantique, Proof carrying transformations/Transformations porteuses de preuves, Transformation engineering/Ingénierie des transformations
Jérôme Euzenat, An infrastructure for formally ensuring interoperability in a heterogeneous semantic web, in: Proc. 1st conference on semantic web working symposium (SWWS), Stanford (CA US), pp345-360, 2001
[BibTeX:euzenat2001f] [Show abstract]
http://www.semanticweb.org/SWWS/program/full/paper16.pdf
ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2001f.pdf
XML, XSLT, OMDoc, MathML, DLML, XSLT, Transmorpher, Transformations, proof
Semantic web/Web sémantique, Proof carrying transformations/Transformations porteuses de preuves, Transformation engineering/Ingénierie des transformations