Login / Signup

Towards static type checking for XSLT.

Akihiko Tozawa
Published in: ACM Symposium on Document Engineering (2001)
Keyphrases
  • type checking
  • data types
  • database query languages
  • xml documents
  • query processor
  • object model
  • response time
  • abstract data types
  • xml data
  • relational calculus
  • database systems