12

我对指称语义的概念有点困惑。据我了解，指称语义应该描述函数和表达式在特定编程语言中的工作方式。用于描述这些功能以及它们如何工作的正确形式究竟是什么？“域”到底是什么，如何构建映射功能？

例如，“do X while Y”的映射函数是什么？

我一直在网上阅读很多资料，但很难理解。这些描述会类似于上下文无关语法吗？

请告诉我，谢谢！

4

1 回答 1

20
于 2013-10-15T21:16:29.803 回答