1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. Java

程序设计语言原理复习-第17章 代数语义学.pdfVIP

  • 1
  • 0
  • 约3.9万字
  • 约 22页
  • 2026-03-23 发布于河北
  • 举报

程序设计语言原理复习-第17章 代数语义学.pdf

    第17章代数语义学

    指称语义学用数学函数的指称或描述程序的行为和状态。它是面向值(域)的。最终值刻划程

    序的效应。用语义函数得到各种域上值来刻划程序的行为。当然，这些效应和行为都是在既定模型

    上的值。代数语义学是用代数的方法来处理满足一计算逻辑的各种模型。把模型的集合看乍是代

    数结构。代数语义学的公理规定了算子的组合规则和约束。算子集和域上值集的关系正好是代数

    系统研究的范畴。正是由于域二值都可用算子生成，算子集及其约束就成了论域的语法。同样，

    域上值反映了语义。因此，代数规格说明

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >