论文信息 - Extensible syntax-oriented verifier and its implementation - 字舞流文

Extensible syntax-oriented verifier and its implementation

Kenji Ikeda | Takao Shimomura | Nhor Sok Lang

[1] Douglas Gregor,et al. STLlint: lifting static checking from languages to libraries , 2006 .

[2] Takao Shimomura. Visual design and programming for Web applications , 2005, J. Vis. Lang. Comput..

[3] Kenji Ikeda,et al. Customizable verifiers for web applications and their implementation , 2007 .