Typechecking
Published in Cambridge University Press eBooks • Nov 4, 2010
Authors:
Haruo Hosoya
Abstract
Typechecking is a static analysis on programs that enables the detection of potential dynamic type errors. Since it is already a standard technique in programming languages and since XML's schemas are analogous to data types in programming languages, we might expect existing typechecking techniques ...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!