Anthony M. Sloane

According to our database1, Anthony M. Sloane authored at least 44 papers between 1992 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

A formalisation of parameterised reference attribute grammars.
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

ScalaSMT: satisfiability modulo theory in Scala (tool paper).
Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2017

2016
Embedding attribute grammars and their extensions using functional zippers.
Sci. Comput. Program., 2016

The sbt-rats parser generator plugin for Scala (tool paper).
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Specifying CSS layout with reference attribute grammars.
Proceedings of the Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, 2016

2015
Oberon-0 in Kiama.
Sci. Comput. Program., 2015

2014
Domain-specific program profiling and its application to attribute grammars and term rewriting.
Sci. Comput. Program., 2014

Abstractions of non-interference security: probabilistic versus possibilistic.
Formal Asp. Comput., 2014

Respect Your Parents: How Attribution and Rewriting Can Get Along.
Proceedings of the Software Language Engineering - 7th International Conference, 2014

Monto: A Disintegrated Development Environment.
Proceedings of the Software Language Engineering - 7th International Conference, 2014

Type inference for the spine view of data.
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 2014

2013
A pure embedding of attribute grammars.
Sci. Comput. Program., 2013

2012
Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

2010
Preface.
Sci. Comput. Program., 2010

A Pure Object-Oriented Embedding of Attribute Grammars.
Electr. Notes Theor. Comput. Sci., 2010

2009
On the implementation of bytecode compression for interpreted languages.
Softw., Pract. Exper., 2009

Software Abstractions: Logic, Language, and Analysis by Daniel Jackson, The MIT Press, 2006, 366pp, ISBN 978-0262101141.
J. Funct. Program., 2009

Lightweight Language Processing in Kiama.
Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming.
Proceedings of the Compiler Construction, 18th International Conference, 2009

2008
Program Compilers.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

2007
Generating software from specifications.
Jones and Bartlett Publishers, ISBN: 978-0-7637-4124-2, 2007

2006
Preface.
Electr. Notes Theor. Comput. Sci., 2006

2005
Eclipse Support for Using Eli and Teaching Programming Languages.
Electr. Notes Theor. Comput. Sci., 2005

When and how to develop domain-specific languages.
ACM Comput. Surv., 2005

Analysis, Specification and Generation of Mobile Computer Data Synchronisation.
Proceedings of the 2005 International Conference on Mobile Business (ICMB 2005), 2005

A Pattern Enforcing Compiler (PEC) for Java: Using the Compiler.
Proceedings of the Conceptual Modelling 2005, 2005

2004
Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties.
Electr. Notes Theor. Comput. Sci., 2004

Simple, Effective Code-Size Reduction for Functional Programs.
Proceedings of the Implementation and Application of Functional Languages, 2004

2003
Domain-Specific Languages Minitrack Introduction.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

A Web-based System for Automatic Program Critiquing.
Proceedings of the Fifth Australasian Computing Education Conference (ACE 2003), 2003

2002
Providing Timely Feedback to Large Classes.
Proceedings of the International Conference on Computers in Education, 2002

Post-design Domain-Specific Language Embedding: A Case Study in the Software Engineering Domain.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

1999
Debugging Eli-Generated Compilers With Noosa.
Proceedings of the Compiler Construction, 8th International Conference, 1999

1998
Issues in Automatic Software Manufacturing in the Presence of Generators.
Proceedings of the 1998 Australian Software Engineering Conference (ASWEC '98), 1998

1997
Generating Dynamic Program Analysis Tools.
Proceedings of the 1997 Australian Software Engineering Conference (ASWEC '97), 28 September, 1997

1996
The Boomerang White Paper: A Page as You Like It.
World Wide Web Journal, 1996

Beyond Traditional Program Slicing.
Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

An interactive self-paced learning environment for the World Wide Web.
Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, 1996

1995
An Evaluation of an Automatically Generated Compiler.
ACM Trans. Program. Lang. Syst., 1995

1994
Simulation Models and Group Negotiation: Problems of Task Understanding and Computer Support.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

1993
A Testbed for Studying Parallel Programs and Parallel Execution Architectures.
Proceedings of the MASCOTS '93, 1993

1992
ELI: A Complete, Flexible Compiler Construction System.
Commun. ACM, 1992


  Loading...