Extensible Syntax-Oriented Verifier and its Implementation

T. Shimomura, N. Sok Lang, and K. Ikeda (Japan)


Customaizable, Extensible, Recursive, Syntax analysis, Verification


This paper proposes a verification method for the syntax oriented verifier, and describes the implementation of its prototype system, SyntaxVerifier. SyntaxVerifier makes it possible to detect syntactical objects based on their syntac tic contexts. It realizes a recursive verification which makes it easy to dynamically trace a syntax tree in a verification process itself.

Important Links:

Go Back