博文
全部博文|未分类|
PhD road|
Formal method|
Tools|
AI & ML|
CHI|
Econometrics|
Network|
ML|
Software|
web service|
Control|
杂论|
OR & Optimize|
Hardware|
Statistics|
DSP|
cloud|
language|
- review: An overview of the K semantic framework
- 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 ...
- 事务
- - 一种基于JMS 的分布式异步事务处理模型设计 *** 一种基于JMS 的分布式异步事务处理模型设计 一种基于JMS+的分布式异步事务处理模型设计.pdf
- review: Thirty years of algebraic specification
- 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 ...
