Using an XML schema to validate a formal hardware compiler.

Michael F. Dossis

Published in: SMAP (2010)

Keyphrases

xml schema
xml documents
integrity constraints
regular expressions
relational databases
data exchange
object oriented
conceptual model
xml data
relational schema
semi structured documents
metadata
java virtual machine
data sets
general purpose
software systems
relational data
context free grammars
real world