程序语言论文

面向对象程序语言的语义，规范及验证
论文摘要面向对象(OO)程序语言和开发方法的发展较好满足了软件规模快速发展的需要,带来了计算机软件领域的重大变革。近年来,随着社会对软件系统可靠性和正确性要求的不断增强,开发出...
高大模板扣件式支架计算软件开发与应用
论文摘要建筑业的安全生产问题,直接关系到人民群众的生命财产安全,受到了社会的广泛关注。随着城市建设的日益发展和我国承办运动赛事的不断增多,一些运动场馆和地标性建筑的混凝土结构通...
基于π演算的并发分布式语言的设计与原型实现
论文摘要本文描述了一个全新的并发编程语言MDPL设计及其实现。在现有的并发系统和并发理论的研究成果上，总结了现有理论的不足，设计了MDPi，它是对异步π演算进行的扩展，加入了子...
厅堂音质设计中声线模拟立体角分频并行计算和应用研究
论文题目:厅堂音质设计中声线模拟立体角分频并行计算和应用研究论文类型:博士论文论文专业:建筑技术科学作者:钱城导师:沈天行关键词:厅堂音质设计,声线模拟,立体角,分频并行计算,...