哈斯卡斯

HasCasl:集成高阶规范和程序开发我们展示了HasCasl的设计,这是代数规范语言Casl的高阶扩展,它既是严格规范和软件开发的广谱语言,尤其是在现代函数式程序设计语言中,并作为高阶逻辑的表达标准语言。HasCasl的显著特征包括部分高阶函数、高阶亚型、浅多态性和广泛的类型类机制。此外,HasCasl还为基于monad的函数式命令式编程提供了专用规范支持,这些函数式命令式编程具有通用的副作用,包括基于monad的泛型Hoare逻辑。


zbMATH中的参考文献(参考文献17条,2标准条款)

显示第1到17个结果,共17个。
按年份排序(引用)

  1. 马德拉,亚历山德拉;马丁斯,曼努埃尔A。;巴博萨,鲁伊斯。;Hennicker,Rolf:杂交机构的改进(2015)
  2. 冈查罗夫,谢尔盖;Schröder,Lutz:异步副作用过程的共导演算(2013)
  3. 萨贝尔,大卫;Schmidt Schauß,Manfred:允许部分函数的严格函数程序性质的二值逻辑(2013)
  4. 冈查罗夫,谢尔盖;Schröder,Lutz:asynchronous side effecting Processs(2011)的共同归纳演算
  5. 库兹,奥利弗;莫萨科夫斯基,蒂尔;吕克,多米尼克:卡纳普,戈格恩和超本体论:本体设计中的逻辑多元论和异构结构(2010)
  6. 莫萨科夫斯基,蒂尔;施罗德,卢茨;贡查罗夫,谢尔盖:关于纯度和效果推理的一般完整动态逻辑(2010)
  7. Codescu,Mihai:广义理论制度共同态(2009)
  8. 冈查罗夫,谢尔盖;施罗德,卢茨;Mossakowski,Till:Kleene monads:在泛型效应框架下处理迭代(2009)
  9. 施罗德,卢茨;Mossakowski,Till:HasCasl:集成高阶规范与程序开发(2009)
  10. Padawitz,Peter:Expander2:交互与自动化之间的程序验证(2007)
  11. van Leeuwen,A.J.:通过组合扩展构建验证条件生成器(2007)
  12. Schröder,Lutz:HASCASL序言:部分(\lambda)-微积分的范畴语法和语义(2006)
  13. 莫雷拉,安娜玛丽亚马丁斯;林格森,克里斯托夫;戴哈比,大卫;Lima,Gleydson:用基于术语和基于图的表示来操作代数规范(2004)
  14. 施罗德,卢茨;Mossakowski,Till:HasCasl中的单子独立动态逻辑(2004)
  15. Schröder,Lutz:部分等式逻辑的分类范畴(2003)
  16. 施罗德,卢茨;Mossakowski,Till:HasCasl中的单子独立动态逻辑。(2003年)
  17. 施罗德,卢茨;Mossakowski,Till:\textscHasCasl:面向功能程序的集成规范和开发(2002)