指称语义构建器用于为编程语言构建指称语义模型,支持形式化语义定义、程序属性证明和语义分析。核心功能包括语义域定义、语法映射、组合性处理和不动点递归语义。适用于形式化方法、程序验证和编程语言理论研究。关键词:指称语义、语义域、形式化语义、程序证明、语义分析、编程语言理论、不动点、域理论。