プログラムの正しさを証明する手段として表明の概念を最初に提案したのはアラン・チューリングである。1949年6月24日、ケンブリッジ大学で行った "Checking a Large Routine" と題した講演で「大きなルーチンが正しく動作していると確認するにはどうしたらよいだろうか? 確認する人物に多大な負担をかけないようにするには、プログラムの全体としての正しさを容易に確認できるようプログラマが個別に確認可能な明確な「表明」(assertions) をいくつもするべきである」と述べている。
表明は有効化/無効化を切り替えられるよう多くの言語で実装されている。表明は本来、開発ツールであるため、最終テストおよびリリース時には無効化する。したがって有効化時/無効化時の違いがプログラムの意味的な違いを生じないことが前提にある。換言すれば、表明は副作用を持っていてはならない。CやC++を含む多くの言語では、表明は、リリースコンパイル時にプリプロセッサによって完全に除去される。Javaでは、表明を有効化する場合、実行時にオプションの指定を必要とする。オプションの指定がない場合、表明は無視される。
開発中、プログラマは表明を入れた状態でプログラムを実行する。表明違反が発生すると、プログラマに即座に問題が通知される。ほとんどの表明の実装ではプログラムの実行も停止する。プログラムがそのまま実行を続けてしまうと問題の原因を究明することが困難となる可能性が高い。表明違反で表示される情報（違反発生箇所やスタックトレース）を使えば、プログラマは容易に問題を解決できる。このようにして表明はデバッグ工程を単純化する。
表明を仕様書の一種と見ることもできる。コードの部分が動作する前に期待される状態（事前条件）を記述し、そのコードを実行した後に期待される状態（事後条件）を記述する。また、クラスの不変条件を記述することもできる。Eiffelではそのような表明は言語に組み込まれており、そのクラスの仕様書の自動生成に使用される。これは契約プログラミングの重要な部分でもある。この手法は、契約プログラミングを明確にはサポートしていない言語でも利用価値がある。コメントではなく表明を使用する利点は、表明がプログラムの実行毎にチェックされる点である。表明が真でなくなると、エラーが表示される。これによりコードの実装が表明とずれてしまった場合を早期に検出する。これはつまり、コメントとコードの内容の不一致の問題と同じである。
Eiffelのような言語では、表明は設計工程の一部である。CやJavaでは実行時に前提条件をチェックするだけである。いずれの場合も実行時に正当性をチェックすることができるが、最終的には抑止されることが多い。
例えば、次の疑似コードには2つの表明が含まれている。x := 5{x > 0}x := x + 1{x > 1}x > 0 と x > 1 が表明であり、実行時のその時点でいずれも真である。この例では、アントニー・ホーアが1969年の論文で採用した表明の記法を使っている。この記法は主なプログラミング言語では採用されていない。しかし、実行時にチェックされない表明としてコメントにこの記法で書いておくことはできる。例えばC/C++では次のようになる。x = 5;x = x + 1;/* {x > 1} */コメント内の表明を括弧で囲んでおくことで、他の通常のコメントと区別しやすくなる。
杜が台大を卒業後もPTTの郷民（住民、ユーザー）が形成するインターネット文化（郷民文化）と言論が台湾の実社会に影響を及ぼすほどの盛況をみせ、陳綺貞（チアー・チェン）やメンバー自身が郷民として知られる五月天(メイデイ)等の当時台湾ではまだブレイクしていなかったミュージシャンもPTT内で単独看板が創設されるほどの人気を得るに至っている。郷民からは「創世神」、「PTTの父」と呼ばれている。そのためPTTで定期的に開催される「第x屆PTT Famous（PTT風雲人物投票）」（2017年までで5回開催）では毎回トップ10圏内にランクインし、そのカリスマ性は健在である。
以下は杜の寄稿文によるもの。近年米国ではアップル、Google、アマゾン、マイクロソフト、Facebookの5社による情報インフラ（スマートフォン、オンラインショッピング、SNS、検索、ネット広告市場）の寡占化が著しく、FCC（連邦通信委員会）がネットワーク中立性を撤廃したり、中国ではアリババやテンセントが個人情報と紐づけられたモバイル決済市場の90%を支配するなど、個人情報の保護が危機に晒されていることで、PTTの中立性を維持すべく、2018年4月に国立成功大学の電子掲示板「夢之大地」共同創設者でIoT専門家のLman（朱宜振）、無名小站創設者の小光（林弘全）、その管理人だったjserv（黄敬群）らが設立した「BiiLabs」と共同で「資料正義行動」を宣言、ブロックチェーンの暗号理論を用いてPTTのAI化プロジェクト「ptt.ai計画」を始動した。PTT内の仮想通貨P幣の安全性強化とそれに伴う用途拡大などを見込んでいる。
1990年に東京都内で生まれたメスの柴犬。好物は、さきいかとスルメ。1994年に『家なき子』に出演して、ドラマが高視聴率を獲得し、実質的な準主演としてドラマの顔となったことにより、一躍有名になった。一連の『家なき子』のシリーズで、94年4月の第1話から劇場版を経て95年7月の「2」最終話まで登場したのは、ピュンピュンだけであった。『家なき子』の放送終了後に子犬を出産(その中の一匹が2001年4月1日放送の日本テレビ『フードファイト～香港死闘篇』で、安達祐実と共演)。1996年の『3年B組金八先生』第4シリーズ第12話に出演し、武田鉄矢や『家なき子2』で共演したジャニーズJrの榎本雄太と共演。また、同年の『銀狼怪奇ファイル』に出演し、『家なき子(劇場版)』と『家なき子2』で共演した堂本光一と再び共演した。2001年に都内で死亡。享年11。