Anthony Sloane

Associate Professor

  • 1381 Citations
  • 8 h-Index
19922017

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Outputs

2017

A formalisation of parameterised reference attribute grammars

Buckley, S. J. H. & Sloane, A. M., 23 Oct 2017, SLE 2017: Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. Combemale, B., Mernik, M. & Rumpe, B. (eds.). New York, NY: Association for Computing Machinery, Inc, p. 139-150 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

ScalaSMT: Satisfiability Modulo Theory in Scala (tool paper)

Cassez, F. & Sloane, A. M., 22 Oct 2017, SCALA 2017: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala. New York, NY: Association for Computing Machinery, Inc, p. 51-55 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)

Skink: static analysis of programs in LLVM intermediate representation

Cassez, F., Sloane, A. M., Roberts, M., Pigram, M., Suvanpong, P. & de Aledo, P. G., 2017, Tools and algorithms for the construction and analysis of systems: 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings, part II. Legay, A. & Margaria, T. (eds.). Berlin: Springer, Springer Nature, p. 380-384 5 p. (Lecture notes in computer science; vol. 10206).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

7 Citations (Scopus)
2016

Embedding attribute grammars and their extensions using functional zippers

Martins, P., Fernandes, J. P., Saraiva, J., Van Wyk, E. & Sloane, A., 15 Dec 2016, In : Science of Computer Programming. 132, p. 2-28 27 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Specifying CSS layout with reference attribute grammars

Buckley, S., Sloane, A. M. & Roberts, M., 2016, SPLASH Companion 2016: Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. Visser, E. (ed.). New York, NY: Association for Computing Machinery, p. 29-30 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

The sbt-rats parser generator plugin for scala (tool paper)

Sloane, A. M., Cassez, F. & Buckley, S., 30 Oct 2016, SCALA 2016 - Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala. Biboudis, A., Jonnalagedda, M., Stucki, S. & Ureche, V. (eds.). New York: Association for Computing Machinery, Inc, p. 110-113 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

3 Citations (Scopus)
2015

Oberon-0 in Kiama

Sloane, A. M. & Roberts, M., 15 Dec 2015, In : Science of Computer Programming. 114, p. 20-32 13 p.

Research output: Contribution to journalArticle

Open Access
6 Citations (Scopus)
2014

Abstractions of non-interference security: Probabilistic versus possibilistic

Hoang, T. S., McIver, A. K., Meinicke, L., Morgan, C. C., Sloane, A. & Susatyo, E., Jan 2014, In : Formal Aspects of Computing. 26, 1, p. 169-194 26 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Domain-specific program profiling and its application to attribute grammars and term rewriting

Sloane, A. M. & Roberts, M., 15 Dec 2014, In : Science of Computer Programming. 96, P4, p. 488-510 23 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Monto: A disintegrated development environment

Sloane, A. M., Roberts, M., Buckley, S. & Muscat, S., 2014, Software Language Engineering: 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014 Proceedings. Springer, Springer Nature, Vol. 8706. p. 211-220 10 p. (Lecture Notes in Computer Science; vol. 8706).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

2 Citations (Scopus)

Respect your parents: How attribution and rewriting can get along

Sloane, A. M., Roberts, M. & Hamey, L. G. C., 2014, Software language engineering: 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014 Proceedings. Combemale, B., Pearce, D. J., Barais, O. & Vinju, J. J. (eds.). Switzerland: Springer, Springer Nature, Vol. 8706. p. 191-210 20 p. ( Lecture Notes in Computer Science; vol. 8706).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

5 Citations (Scopus)

The Kiama language processing library

Sloane, A., Roberts, M. & Verity, D., Apr 2014

Research output: Non-traditional research outputSoftware

Type inference for the spine view of data

Roberts, M. & Sloane, A., 2014, WGP 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Generic Programming. New York: Association for Computing Machinery, p. 25-34 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

2013

An evaluation of a pure embedded domain-specific language for strategic term rewriting

Premaratne, S., Sloane, A. M. & Hamey, L. G. C., 2013, Formal and Practical Aspects of Domain-Specific Languages: Recent Developments. Mernik, M. (ed.). Hershey, PA: IGI Global, p. 81-108 28 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

A pure embedding of attribute grammars

Sloane, A. M., Kats, L. C. L. & Visser, E., 1 Oct 2013, In : Science of Computer Programming. 78, 10, p. 1752-1769 18 p.

Research output: Contribution to journalArticle

20 Citations (Scopus)

Profile-based abstraction and analysis of attribute grammar evaluation

Sloane, A. M., 2013, Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. Czarnecki, K. & Hedin, G. (eds.). Heidelberg: Springer, Springer Nature, Vol. 7745. p. 24-43 20 p. (Lecture Notes in Computer Science; vol. 7745).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)
2012

Preface

Sloane, A. & Aßmann, U., 2012, Software Language Engineering: 4th International Conference, SLE 2011 Braga, Portugal, July 3-4, 2011 Revised Selected Papers. Sloane, A. & Aßmann, U. (eds.). Heidelberg, Germany: Springer, Springer Nature, Vol. 6940. p. IV-IV 1 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscript/introduction

Software language engineering

Sloane, A. (ed.) & Aßmann, U. (ed.), 2012, Germany: Springer, Springer Nature. 387 p. (Lecture Notes in Computer Science; vol. 6940)

Research output: Book/ReportEdited Book/Anthology

The sbt-rats Scala parser generator plugin

Sloane, A., Aug 2012

Research output: Non-traditional research outputSoftware

2011

Lightweight language processing in Kiama

Sloane, A. M., 2011, Generative and Transformational Techniques in Software Engineering III - International Summer School, GTTSE 2009, Revised Papers. Fernandes, J. M., Lämmel, R., Visser, J. & Saraiva, J. (eds.). Berlin: Springer, Springer Nature, Vol. 6491. p. 408-425 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6491 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

43 Citations (Scopus)
2010

A pure object-oriented embedding of attribute grammars

Sloane, A. M., Kats, L. C. L. & Visser, E., 17 Sep 2010, In : Electronic Notes in Theoretical Computer Science. 253, 7, p. 205-219 15 p.

Research output: Contribution to journalArticle

14 Citations (Scopus)

Preface

Johnstone, A., Sloane, A. & Boyland, J. T., 1 Jan 2010, In : Science of Computer Programming. 75, 1-2, p. 1-2 2 p.

Research output: Contribution to journalEditorial

2009

Decorated attribute grammars: attribute evaluation meets strategic programming

Kats, L. C. L., Sloane, A. M. & Visser, E., 2009, Compiler Construction: 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. de Moor, O. & Schwartzbach, M. I. (eds.). Berlin: Springer, Springer Nature, p. 142-157 16 p. (Lecture Notes in Computer Science; vol. 5501).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

21 Citations (Scopus)

On the implementation of bytecode compression for interpreted languages

Stefanov, E. & Sloane, A. M., Feb 2009, In : Software - Practice and Experience. 39, 2, p. 111-135 25 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Program compilers

Sloane, A. M., 2009, Wiley encyclopedia of computer science and engineering. Wah, B. W. (ed.). Hoboken, New Jersey, USA: John Wiley & Sons, Vol. 4. p. 2243-2252 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2007

A pattern enforcing compiler (PEC) for Java: a practical way to formally specify patterns

Lovatt, H., Sloane, A. M. & Verity, D. R., 2007, Design pattern formalization techniques. Taibi, T. (ed.). Hershey, PA; London: IGI Publishing, p. 324-356 33 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Generating software from specifications

Kastens, U., Sloane, A. M. & Waite, W. M., 2007, 1st ed. Sudbury, MA: Jones and Bartlett Publishers.

Research output: Book/ReportBook

2006

Sixth workshop on language descriptions, tools and applications: proceedings

Boyland, J. (ed.) & Sloane, A. M. (ed.), 2006, Amsterdam, Netherlands: Elsevier. 138 p.

Research output: Book/ReportEdited Book/Anthology

2005

Analysis, specification and generation of mobile computer data synchronisation

Ye, Q., Sloane, A. M. & Verity, D. R., 2005, International Conference on Mobile Business: ICMB 2005: July 11-13, 2005, Crowne Plaza Darling Harbour, Sydney, Australia. Brookes, W., Lawrence, E., Steele, R. & Chang, E. (eds.). Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), p. 499-506 8 p. 1493653

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Open Access
File
7 Downloads (Pure)

A Pattern Enforcing Compiler (PEC) for Java: Using the compiler

Lovatt, H. C., Sloane, A. M. & Verity, D. R., 2005, Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling. Hartmann, S. & Stumptner, M. (eds.). Sydney, NSW: Australian Computer Society, Vol. 43. p. 69-78 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

5 Citations (Scopus)

Eclipse support for using eli and teaching programming languages

Sloane, A. M. & Waite, W. M., 12 Dec 2005, In : Electronic Notes in Theoretical Computer Science. 141, 4 SPEC. ISS., p. 189-194 6 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Editorial: Programming languages track

Jo, C. H., Mernik, M., Bryant, B. R., Ancona, M., Auguston, M., Cheung, S. C., Debray, S. K., Doh, K. G., Gabbrielli, M., Harris, T., Heering, J., Jeffery, C., Johnstone, A., Leung, H. F., Lins, R. D., Logozzo, F., Martínez López, P. E., Meijer, E., Michaelson, G., Pareja-Flores, C. & 4 others, Saraiva, J., Sloane, T., Wile, D. & Winkler, J., 2005, In : Proceedings of the ACM Symposium on Applied Computing. 2, p. 1383-1384 2 p.

Research output: Contribution to journalEditorial

Simple, effective code-size reduction for functional programs

Stefanov, E. & Sloane, A. M., 2005, In : Lecture Notes in Computer Science. 3474, p. 211-225 15 p.

Research output: Contribution to journalArticle

When and how to develop domain-specific languages

Mernik, M., Heering, J. & Sloane, A. M., 2005, In : ACM Computing Surveys. 37, 4, p. 316-344 29 p.

Research output: Contribution to journalArticle

1062 Citations (Scopus)
2004

Using off-the-shelf formal methods to verify attribute grammar properties

Goldrei, S. & Sloane, A., 31 Dec 2004, In : Electronic Notes in Theoretical Computer Science. 110, p. 33-54 22 p.

Research output: Contribution to journalArticle

2003

Domain-specific languages

Heering, J., Mernik, M. & Sloane, A. M., 2003, In : Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003. p. 323 1 p., 1174888.

Research output: Contribution to journalEditorial

1 Citation (Scopus)

Eli: translator construction made easy

Sloane, A. M., 2003

Research output: Non-traditional research outputSoftware

Submit! A Web-Based System for Automatic Program Critiquing

Pisan, Y., Richards, D., Sloane, A., Koncek, H. & Mitchell, S., 2003, Proceedings of the Fifth Australasian Computing Education Conference (ACE2003). Lister, R. & Greening, T. (eds.). Sydney: Australian Computer Society, p. 59-68 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

2002

Post-design domain-specific language embedding: A case study in the software engineering domain

Sloane, A. M., 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences, HICSS 2002. Sprague Jr., R. H. (ed.). Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), Vol. 2002-January. p. 3647-3655 9 p. 994492

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Open Access
File
6 Citations (Scopus)
6 Downloads (Pure)

Providing timely feedback to large classes

Pisan, Y., Sloane, A., Richards, D. & Dale, R., 2002, Proceedings - International Conference on Computers in Education, ICCE 2002. Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), p. 413-414 2 p. 1185961

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)
1999

Debugging Eli-generated compilers with noosa

Sloane, A. M., 1999, Compiler Construction: 8th International Conference, CC’99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99, Amsterdam, The Netherlands, March 22-28, 1999. Proceedings. Berlin: Springer, Springer Nature, Vol. 1575. p. 17-31 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1575).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

4 Citations (Scopus)
1998

Issues in automatic software manufacturing in the presence of generators

Sloane, A. & Waite, W., 1998, Proceedings 1998 Australian software enginering conference. Grant, D. D. (ed.). Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), p. 134-143 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)
1997

Generating dynamic program analysis tools

Sloane, A. M., 1997, Proceedings of the Australian Software Engineering Conference. Bailes, P. A. (ed.). Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), p. 166-173 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)
1996

An interactive self-paced learning environment for the World-Wide Web

Sloane, A. M. & Dyreson, C. E., 1 Jul 1996, ACSE '96 Proceedings of the 1st Australasian conference on Computer science education. Sydney, Australia: ACM Press, p. 344-351 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)

Beyond traditional program slicing

Sloane, A. M. & Holdsworth, J., 1996, Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, p. 180-186 7 p. (ISSTA '96).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

23 Citations (Scopus)

Experiment with simulation models in water-resources negotiations

Reitsma, R., Zigurs, I., Lewis, C., Wilson, V. & Sloane, A., Jan 1996, In : Journal of Water Resources Planning and Management. 122, 1, p. 64-70 7 p.

Research output: Contribution to journalArticle

24 Citations (Scopus)
1995

An Evaluation of an Automatically Generated Compiler

Sloane, A. M., 1 Sep 1995, In : ACM Transactions on Programming Languages and Systems. 17, 5, p. 691-703 13 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

The Boomerang White Paper: a Page As You Like It

Dyreson, C. E. & Sloane, A. M., 1 Dec 1995, Proceedings of the Fourth International World Wide Web Conference. Boston, USA: World Wide Web Consortium, p. 667-676 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1994

Simulation models and group negotiation: problems of task understanding and computer support

Zigurs, I., Wilson, E. V., Sloane, A. M., Reitsma, R. F. & Lewis, C., 1994, Proceedings of the Hawaii International Conference on System Sciences. Pistacaway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 306-315 10 p. 323484

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

3 Citations (Scopus)