CPS transformation of beta-redexes
- 作者Olivier Danvy; Lasse R. Nielsen
- 卷第94卷
- 期第5期
- 印刷ISSN0020-0190
- 文件大小93.24KB
- 发表时间2005
- DOI10.1016/j.ipl.2005.02.002
- 页码217-224
同作者推荐
Unifying wp and wlpCarroll Morgan; Annabelle McIver · 1996
[Monographs in Computer Science] Programming Methodology ||McIver, Annabelle; Morgan, Carroll · 2003
Probabilistic predicate transformersMorgan, Carroll; McIver, Annabelle; Seidel, Karen · ACM Transactions on Programming Languages and Systems · 1996
Probabilistic Guarded Commands Mechanized in HOLJoe Hurd; Annabelle McIver; Carroll Morgan · 2005
Probabilistic guarded commands mechanized in HOLJoe Hurd; Annabelle McIver; Carroll Morgan · 2005
Refinement-oriented probability for CSPCarroll Morgan; Annabelle McIver; Karen Seidel; J. W. Sanders · 1996
Memoryless Strategies for Stochastic Games via Domain TheoryCarroll Morgan; Annabelle McIver · 2005