関数型言語マニアのための論文紹介５：あなたのスクリプトは「常に」正しいHTMLを生成しますか？ - sumiiのブログStatic Approximation of Dynamically Generated Web Pages. Yasuhiko Minamide. WWW 2005. http://www.score.cs.tsukuba.ac.jp/~minamide/www05.pdf 実装はこちら↓（おそらく研究目的のプロトタイプですが、用途によっては実用にもなるかも？）。勝手に紹介してすみません。＞Mさん http://www.score.is.tsukuba.ac.jp/~minamide/phpsa/ PerlなりPHPなりで、HTMLを生成するスクリプトを書いていて、「タグが閉じてないー」とか「入れ子が合わないー」とか困らないでしょうか（クロスサイトスクリプティングは言うに及ばず）。特に、そういうバグが特殊な条件でしか起こらないときは、テストで発見するのも無理だったりします。 そこで、ス
