default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnthony M. Sloane
2010 – 2019
- 2017
[c31]Franck Cassez
, Anthony M. Sloane:
ScalaSMT: satisfiability modulo theory in Scala (tool paper). SCALA@SPLASH 2017: 51-55- [c30]Scott J. H. Buckley, Anthony M. Sloane:
A formalisation of parameterised reference attribute grammars. SLE 2017: 139-150 - [c29]Franck Cassez, Anthony M. Sloane, Matthew Roberts, Matthew Pigram, Pongsak Suvanpong, Pablo González de Aledo Marugán:
Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution). TACAS (2) 2017: 380-384 - 2016
- [j12]Pedro Martins, João Paulo Fernandes, João Saraiva, Eric Van Wyk, Anthony Sloane:
Embedding attribute grammars and their extensions using functional zippers. Sci. Comput. Program. 132: 2-28 (2016) - [c28]Scott Buckley, Anthony M. Sloane, Matthew Roberts:
Specifying CSS layout with reference attribute grammars. SPLASH (Companion Volume) 2016: 29-30 - [c27]Anthony M. Sloane, Franck Cassez, Scott Buckley:
The sbt-rats parser generator plugin for Scala (tool paper). SCALA@SPLASH 2016: 110-113 - 2015
- [j11]Anthony M. Sloane, Matthew Roberts:
Oberon-0 in Kiama. Sci. Comput. Program. 114: 20-32 (2015) - 2014
- [j10]Thai Son Hoang, A. K. McIver, Larissa Meinicke, Carroll C. Morgan, Anthony Sloane, E. Susatyo:
Abstractions of non-interference security: probabilistic versus possibilistic. Formal Aspects Comput. 26(1): 169-194 (2014) - [j9]Anthony M. Sloane, Matthew Roberts:
Domain-specific program profiling and its application to attribute grammars and term rewriting. Sci. Comput. Program. 96: 488-510 (2014) - [c26]Matthew Roberts, Anthony M. Sloane:
Type inference for the spine view of data. WGP@ICFP 2014: 25-34 - [c25]Anthony M. Sloane, Matthew Roberts, Leonard G. C. Hamey:
Respect Your Parents: How Attribution and Rewriting Can Get Along. SLE 2014: 191-210 - [c24]Anthony M. Sloane, Matthew Roberts, Scott Buckley, Shaun Muscat:
Monto: A Disintegrated Development Environment. SLE 2014: 211-220 - 2013
- [j8]Anthony M. Sloane, Lennart C. L. Kats, Eelco Visser:
A pure embedding of attribute grammars. Sci. Comput. Program. 78(10): 1752-1769 (2013) - 2012
- [c23]Anthony M. Sloane:
Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation. SLE 2012: 24-43 - [e4]Anthony Sloane, Suzana Andova:
International Workshop on Language Descriptions, Tools, and Applications, LDTA '12, Tallinn, Estonia, March 31 - April 1, 2012. ACM 2012, ISBN 978-1-4503-1536-4 [contents] - [e3]Anthony M. Sloane, Uwe Aßmann:
Software Language Engineering - 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers. Lecture Notes in Computer Science 6940, Springer 2012, ISBN 978-3-642-28829-6 [contents] - 2010
- [j7]Adrian Johnstone, Anthony Sloane, John Tang Boyland:
Preface. Sci. Comput. Program. 75(1-2): 1-2 (2010)
2000 – 2009
- 2009
- [j6]Anthony M. Sloane:
Software Abstractions: Logic, Language, and Analysis by Daniel Jackson, The MIT Press, 2006, 366pp, ISBN 978-0262101141. J. Funct. Program. 19(2): 253-254 (2009) - [j5]Ekaterina Stefanov, Anthony M. Sloane:
On the implementation of bytecode compression for interpreted languages. Softw. Pract. Exp. 39(2): 111-135 (2009) - [c22]Lennart C. L. Kats, Anthony M. Sloane, Eelco Visser:
Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming. CC 2009: 142-157 - [c21]Anthony M. Sloane:
Lightweight Language Processing in Kiama. GTTSE 2009: 408-425 - [c20]Anthony M. Sloane, Lennart C. L. Kats, Eelco Visser:
A Pure Object-Oriented Embedding of Attribute Grammars. LDTA 2009: 205-219 - 2008
- [p1]Anthony M. Sloane:
Program Compilers. Wiley Encyclopedia of Computer Science and Engineering 2008 - [e2]Anthony Sloane, Adrian Johnstone:
Proceedings of the Seventh Workshop on Language Descriptions, Tools, and Applications, LDTA@ETAPS 2007, Braga, Portugal, March 25, 2007. Electronic Notes in Theoretical Computer Science 203(2), Elsevier 2008 [contents] - 2007
- [b1]Uwe Kastens, Anthony M. Sloane, William M. Waite:
Generating software from specifications. Jones and Bartlett Publishers 2007, ISBN 978-0-7637-4124-2, pp. I-X, 1-413 - [c19]Anthony Sloane, Adrian Johnstone:
Preface. LDTA@ETAPS 2007: 1-2 - 2006
- [c18]John Boyland, Anthony Sloane:
Preface. LDTA@ETAPS 2006: 1-2 - [e1]John Boyland, Anthony Sloane:
Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications, LDTA@ETAPS 2006, Vienna, Austria, April 1, 2006. Electronic Notes in Theoretical Computer Science 164(2), Elsevier 2006 [contents] - 2005
- [j4]Marjan Mernik, Jan Heering, Anthony M. Sloane:
When and how to develop domain-specific languages. ACM Comput. Surv. 37(4): 316-344 (2005) - [c17]Howard C. Lovatt, Anthony M. Sloane, Dominic R. Verity:
A Pattern Enforcing Compiler (PEC) for Java: Using the Compiler. APCCM 2005: 69-78 - [c16]Qingsong Ye, Anthony M. Sloane, Dominic R. Verity:
Analysis, Specification and Generation of Mobile Computer Data Synchronisation. ICMB 2005: 499-506 - [c15]Anthony M. Sloane, William M. Waite:
Eclipse Support for Using Eli and Teaching Programming Languages. LDTA@ETAPS 2005: 189-194 - 2004
- [c14]Ekaterina Stefanov, Anthony M. Sloane:
Simple, Effective Code-Size Reduction for Functional Programs. IFL 2004: 211-225 - [c13]Shirley Goldrei, Anthony M. Sloane:
Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties. LDTA@ETAPS 2004: 33-54 - 2003
- [c12]Yusuf Pisan, Debbie Richards, Anthony M. Sloane, Helena Koncek, Simon Mitchell:
A Web-based System for Automatic Program Critiquing. ACE 2003: 59-68 - [c11]Jan Heering, Marjan Mernik, Anthony M. Sloane:
Domain-Specific Languages Minitrack Introduction. HICSS 2003: 323 - 2002
- [c10]Anthony M. Sloane:
Post-design Domain-Specific Language Embedding: A Case Study in the Software Engineering Domain. HICSS 2002: 281 - [c9]Yusuf Pisan, Anthony M. Sloane, Debbie Richards, Robert Dale:
Providing Timely Feedback to Large Classes. ICCE 2002: 413-414
1990 – 1999
- 1999
- [c8]Anthony M. Sloane:
Debugging Eli-Generated Compilers With Noosa. CC 1999: 17-31 - 1998
- [c7]Anthony M. Sloane, William M. Waite:
Issues in Automatic Software Manufacturing in the Presence of Generators. Australian Software Engineering Conference 1998: 134-143 - 1997
- [c6]Anthony M. Sloane:
Generating Dynamic Program Analysis Tools. Australian Software Engineering Conference 1997: 166-173 - 1996
- [j3]Curtis E. Dyreson, Anthony M. Sloane:
The Boomerang White Paper: A Page as You Like It. World Wide Web J. 1(1) (1996) - [c5]Anthony M. Sloane, Curtis E. Dyreson:
An interactive self-paced learning environment for the World Wide Web. ACSE 1996: 344-351 - [c4]Anthony M. Sloane, Jason Holdsworth:
Beyond Traditional Program Slicing. ISSTA 1996: 180-186 - 1995
- [j2]Anthony M. Sloane:
An Evaluation of an Automatically Generated Compiler. ACM Trans. Program. Lang. Syst. 17(5): 691-703 (1995) - [c3]Curtis E. Dyreson, Anthony M. Sloane:
The Boomerang White Paper: A Page as You Like It. WWW (Fall) 1995: 667-676 - 1994
- [c2]Ilze Zigurs, E. Vance Wilson, Anthony M. Sloane, René F. Reitsma, Clayton H. Lewis:
Simulation Models and Group Negotiation: Problems of Task Understanding and Computer Support. HICSS (4) 1994: 306-315 - 1993
- [c1]Dirk Grunwald, Gary J. Nutt, Anthony M. Sloane, David A. Wagner, Benjamin G. Zorn:
A Testbed for Studying Parallel Programs and Parallel Execution Architectures. MASCOTS 1993: 95-106 - 1992
- [j1]Robert W. Gray, Steven P. Levi, Vincent P. Heuring, Anthony M. Sloane, William M. Waite:
ELI: A Complete, Flexible Compiler Construction System. Commun. ACM 35(2): 121-130 (1992)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
