Book reviews
- 期刊名称Medicine and War
- 作者Farmer, Frank T; Spencer, Kelvin; Lewer, Nick; Middleton, John F; Thompson, James; West, Jean; Hemming, James; Fielding, Jack; Dupré, Peter; Arnold, Ralph; Gardner, A Ward
- 卷第1卷
- 期第3期
- 印刷ISSN0748-8009
- 文件大小1058.01KB
- 发表时间1985-09
- DOI10.1080/07488008508408647
- 页码223-236
Analysis of Recursively Parallel ProgramsBouajjani, Ahmed; Emmi, Michael · ACM Transactions on Programming Languages and Systems · 2013
Analysis of recursively parallel programsBouajjani, Ahmed; Emmi, Michael · ACM SIGPLAN Notices · 2012
Tractable Refinement Checking for Concurrent ObjectsBouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad · ACM SIGPLAN Notices · 2015
On reducing linearizability to state reachabilityBouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad · Information and Computation · 2018
[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Analysis of recursively parallel programsBouajjani, Ahmed; Emmi, Michael · 2012
[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Tractable Refinement Checking for Concurrent ObjectsBouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad · 2015
Algorithmic program synthesis: introductionBodik, Rastislav; Jobstmann, Barbara · International Journal on Software Tools for Technology Transfer · 2013
Bounded synthesisFinkbeiner, Bernd; Schewe, Sven · International Journal on Software Tools for Technology Transfer · 2013
Program sketchingSolar-Lezama, Armando · International Journal on Software Tools for Technology Transfer · 2013
Synthesis from component librariesLustig, Yoad; Vardi, Moshe Y. · International Journal on Software Tools for Technology Transfer · 2013
Tools for software verificationParosh Aziz Abdulla,K. Rustan M. Leino · International Journal on Software Tools for Technology Transfer · 2013
UppaalSMC tutorialDavid, Alexandre; Larsen, Kim G.; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted · International Journal on Software Tools for Technology Transfer · 2015
SPARK 2014 and GNATproveHoang, Duc; Moy, Yannick; Wallenburg, Angela; Chapman, Roderick · International Journal on Software Tools for Technology Transfer · 2014
VerifyThis 2012Huisman, Marieke; Klebanov, Vladimir; Monahan, Rosemary · International Journal on Software Tools for Technology Transfer · 2015