摘要： 命名綁定是在形式系統(tǒng)中的核心概念之一。至于簡單性和直觀性，現(xiàn)有的命名綁定技術有其優(yōu)缺點。通過建模語言HyperLMNtal將一種基于超圖重寫的命名綁定技術應用于具有子類型和結構類型的多態(tài)性λ-演算(或System F_(<:))的類型檢查和按值調(diào)用的建模，并使用PoplMark挑戰(zhàn)的基準測試進行測試。實驗結果表明該技術適合于復雜形式系統(tǒng)的快速建模，因為它使程序員無需理論的重新形... （共8頁）