review: An overview of the K semantic framework

江东明 2013-5-27 17:00

An overview of the K semantic framework Grigore Ro,su, Traian Florin ,Serb˘anu,t˘a The Journal of Logic and Algebraic Programming 79 (2010) 397–434 abstract K is an executable semantic framework in which programming languages, calculi, as well as type systems o ...

个人分类: Formal method|2368 次阅读|没有评论

事务

江东明 2013-5-27 07:43

- 一种基于JMS 的分布式异步事务处理模型设计 *** 一种基于JMS 的分布式异步事务处理模型设计 一种基于JMS+的分布式异步事务处理模型设计.pdf

个人分类: Software|2693 次阅读|没有评论

review: Thirty years of algebraic specification

江东明 2013-5-26 11:32

Editorial Thirty years of algebraic specification The Journal of Logic and Algebraic Programming 67 (2006) 1–2 the ADJ group CASL (the specification language developed within the CoFI initiative) Thirty years of algebraic specificatio ...

个人分类: Formal method|1960 次阅读|没有评论

本页有 7 篇博文因作者的隐私设置或未通过审核而隐藏