jiangdm的个人博客分享 http://blog.sciencenet.cn/u/jiangdm

博文

按标题搜索
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|2505 次阅读|没有评论
事务
2013-5-27 07:43
- 一种基于JMS 的分布式异步事务处理模型设计 *** 一种基于JMS 的分布式异步事务处理模型设计 一种基于JMS+的分布式异步事务处理模型设计.pdf
个人分类: Software|2814 次阅读|没有评论
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|2085 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-9-19 12:03

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部