Theoretical and practical aspects of typestate
作者： Iain McGinniss
DOI:
关键词:
摘要: The modelling and enforcement of typestate constraints in object oriented languages has the potential to eliminate a variety common difficult diagnose errors. While theoretical foundations are well established literature, less attention been paid practical aspects: is additional complexity justifiable? Can be reasoned about effectively by "real" programmers? To what extent can inferred, reduce burden large type annotations? This thesis aims answer these questions provide holistic treatment subject, with original contributions both theorical aspects typestate.
bl.uk参考文章(138)
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou, Session Types for Object-Oriented Languages ECOOP 2006 – Object-Oriented Programming. pp. 328- 352 ,(2006) , 10.1007/11785477_20
Chris Allan, Julian Tibble, Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Ondřej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Adding trace matching with free variables to AspectJ Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '05. ,vol. 40, pp. 345- 364 ,(2005) , 10.1145/1094811.1094839
Peter Collingbourne, Paul H.J. Kelly, Inference of Session Types From Control Flow Electronic Notes in Theoretical Computer Science. ,vol. 238, pp. 15- 40 ,(2010) , 10.1016/J.ENTCS.2010.06.003
Matthias Neubauer, Peter Thiemann, An Implementation of Session Types Practical Aspects of Declarative Languages. pp. 56- 70 ,(2004) , 10.1007/978-3-540-24836-1_5
Donna Malayeri, CZ Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08. ,vol. 44, pp. 21- 40 ,(2008) , 10.1145/1449814.1449910
Edwin C. Brady, IDRIS --- Proceedings of the 5th ACM workshop on Programming languages meets program verification - PLPV '11. pp. 43- 54 ,(2011) , 10.1145/1929529.1929536
Alberto Martelli, Ugo Montanari, An Efficient Unification Algorithm ACM Transactions on Programming Languages and Systems. ,vol. 4, pp. 258- 282 ,(1982) , 10.1145/357162.357169
Hongwei Xi, Imperative programming with dependent types logic in computer science. pp. 375- 387 ,(2000) , 10.1109/LICS.2000.855785
CONOR MCBRIDE, ROSS PATERSON, Applicative programming with effects Journal of Functional Programming. ,vol. 18, pp. 1- 13 ,(2008) , 10.1017/S0956796807006326
Alan F Blackwell, Thomas RG Green, None, A Cognitive Dimensions questionnaire optimised for users. PPIG. pp. 10- ,(2000)