Publications

    

See the project links in the sidebar for key publications of the projects.

Other Publications

Buckley, S. J. H. and Sloane, A. M. 2017. A formalisation of parameterised reference attribute grammars. International Conference on Software Language Engineering. 139-150. PDF

Martins, P., Fernandes, J. P., Saraiva, J., Van Wyk, E., and Sloane, A. 2016. Embedding attribute grammars and their extensions using functional zippers. Science of Computer Programming. 132, 2-28. PDF

Roberts, M. and Sloane, A. 2014. Type inference for the spine view of data. Workshop on Generic programming. 25-34. PDF

Sloane, A. M., Roberts, M., Buckley, S., and Muscat, S. 2014. Monto: A Disintegrated Development Environment. International Conference on Software Language Engineering (SLE). 211-220. PDF

Hoang, T. S., McIver, A. K., Meinicke, L., Morgan, C. C., Sloane, A., and Susatyo, E. 2014. Abstractions of non-interference security: probabilistic versus possibilistic. Formal Aspects of Computing. 26, 1, 169-194. PDF

Mernik, M., Heering, J., and Sloane, A. M. 2005. When and how to develop domain-specific languages. ACM Computing Surveys. 37, 4, 316-344. PDF