• 辅酶Q

  • 1721篇参考文献[SW0161]
  • 典型应用包括形式化编程 语言 语义(例如编译器编译器认证项目…
  • 毫升

  • 491篇参考文献[SW01218]
  • 沉重地编程 语言研究是少数语言完全…使用形式指定和验证语义. 它的类型和图案匹配使其非常适合…
  • Algl 68

  • 281篇参考文献[SW01226]
  • ALGOL 60继承人编程 语言设计的目标更广泛…应用和更严格定义的语法和语义. ALGOL的贡献…后来他们又出现了。编程 语言
  • 喀拉喀托

  • 85篇参考文献[SW03159]
  • 语言注释前和后条件,CQQ证明助理建模程序语义并进行证明的发展,最后是KRAKATOA工具,译者…Java语义爪哇程序为什么要输入语言
  • K检查器

  • 40篇参考文献[SW32 257]
  • 可执行文件语义的框架中编程 语言,结石,以及类型系统或正式…编程 语言其目的是挑战和揭露现有的局限性。语义的框架…
  • 巴别塔

  • 71篇参考文献[SW03018]
  • 希望,标准,ML,或米兰达)和逻辑编程(如Prolog中所体现的)简单…一边语言使用窄化作为懒惰减少的基础语义体现了…巴贝尔的最小HelBand模型程序. 我们共同发展语义并证明存在…减少语义并说明了语言通过一些编程例子…
  • 马戏团

  • 87篇参考文献[SW21828 ]
  • 语义马戏团的马戏团是一个并发语言为了完善,它是一个统一…求精演算。我们描述了语言马戏团及其模型的形式化…霍尔与他的统一理论编程
  • 蒙脱土

  • 16篇参考文献[SW07905]
  • 完全Maude作为A的实现语义保持MSOS与重写逻辑之间的映射…定义形式主义(MSDF)是规范语言MMT支持。MSDF语法相当接近…几个不同的例子编程 语言 语义并发系统。本文报道…
  • 美泰普尔

  • 26篇参考文献[SW04624]
  • METAPRL的特点是语义的连接到编程 语言,这允许系统…
  • 奥特

  • 28篇参考文献[SW0663]
  • 语义的全尺寸定义编程 语言很少有,尽管有许多潜在的好处…因为表达的可用元语言语义--通常是非正式数学或正式数学
  • M网

  • 11篇参考文献[SW09132]
  • 一个应用程序语义并发的编程 语言. 本文描述了一个高…赠送车语义并发的编程 语言. 来说明他们的能力…表达性并发编程 语言-给出。关联低层网络语义描述…
  • 西摩迪夫

  • 16篇参考文献[SW13093]
  • 西摩迪夫语言不可知论者语义的祈使差异工具程序. 在本文中,我们描述…语言用于等价性检查和显示的不可知工具语义的(行为)超过命令的差异程序
  • 血小板计数

  • 21篇参考文献[SW0921]
  • 工作语义工程师(研究生或专业)语言设计师)这本书附带了一个原型…探索、测试、调试和发布语义的模型编程 语言. 与PLT ReDox,语义学家…
  • 卡卡尔

  • 74篇参考文献[SW09899]
  • 语义语言CCALC与默认逻辑和逻辑有关编程. 计算上…
  • 引诱

  • 20篇参考文献[SW01418]
  • 描述项目:编程 语言及其语义分布式系统的体系结构。
  • 落叶松

  • 85篇参考文献[SW02126]
  • 用于指定接口之间的程序在不同语言. 接口规范依赖于…的定义。辅助规范,用LSL编写,提供语义对于他们使用的原始术语来说。说明符…
  • 息肉

  • 31篇参考文献[SW09131]
  • 因为数据类型在开发过程中发生了变化。程序,或者因为功能类似的功能…语言(Haskell的子集),用于构造多类型函数。扩展的语言顺序多态性。这个语义程序在扩展中语言通过添加…
  • 普罗格斯

  • 69篇参考文献[SW02905]
  • 规格语言,它具有明确定义的静态类型概念。它支持编程用图…检查器能够检查静态语义规格的本文提出…静态完整性约束的集成语言它允许检查一个规范…
  • 剑麻

  • 17篇参考文献[SW1366]
  • 通用单赋值函数编程 语言严格地语义隐含的并行性和高效的数组…面向Value的算法语言,由Jack Dennis设计的,并添加递归…普通高级语言用于数值计算程序在各种多处理器上。(维基百科…