Handling and updating uncertain information in bow-tie analysis
- 作者Refaul Ferdous; Faisal Khan; Rehan Sadiq; Paul Amyotte; Brian Veitch
- 卷第25卷
- 期第1期
- 印刷ISSN0950-4230
- 文件大小554.32KB
- 发表时间2012
- DOI10.1016/j.jlp.2011.06.018
- 页码8-19
Step-indexed kripke models over recursive worldsBirkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Støvring, Kristian; Thamsborg, Jacob; Yang, Hongseok · ACM SIGPLAN Notices · 2011
Realisability semantics of parametric polymorphism, general references and recursive typesBIRKEDAL, LARS; STØVRING, KRISTIAN; THAMSBORG, JACOB · Mathematical Structures in Computer Science · 2010
The category-theoretic solution of recursive metric-space equationsLars Birkedal; Kristian Støvring; Jacob Thamsborg · 2010
[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Step-indexed kripke models over recursive worldsBirkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Støvring, Kristian; Thamsborg, Jacob; Yang, Hongseok · 2011