• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Computing and informatics >CASL ― THE COMMON ALGEBRAIC SPECIFICATION LANGUAGE: SEMANTICS AND PROOF THEORY
【24h】

CASL ― THE COMMON ALGEBRAIC SPECIFICATION LANGUAGE: SEMANTICS AND PROOF THEORY

机译：CASL ―通用的代数指定语言：语义和证明理论

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

CASL is an expressive specification language that has been designed to supersede many existing algebraic specification languages and provide a standard. CASL consists of several layers, including basic (unstructured) specifications, structured specifications and architectural specifications (the latter are used to prescribe the structure of implementations). We describe an simplified version of the CASL syntax, semantics and proof calculus at each of these three layers and state the corresponding soundness and completeness theorems. The layers are orthogonal in the sense that the semantics of a given layer uses that of the previous layer as a "black box", and similarly for the proof calculi. In particular, this means that CASL can easily be adapted to other logical systems.
机译：CASL是一种表达规范语言，旨在取代许多现有的代数规范语言并提供标准。 CASL由几层组成，包括基本（非结构化）规范，结构化规范和体系结构规范（后者用于规定实现的结构）。我们在这三层中的每一层都描述了CASL语法，语义和证明演算的简化版本，并陈述了相应的健全性和完整性定理。从给定层的语义将前一层的语义用作“黑匣子”的意义上讲，这些层是正交的，并且类似地用于证明计算。特别是，这意味着CASL可以轻松地适用于其他逻辑系统。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号