Adrian Johnstone

Orcid: 0000-0002-9446-9701

Affiliations:
  • Royal Holloway, University of London, UK


According to our database1, Adrian Johnstone authored at least 51 papers between 1989 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Multiple Input Parsing and Lexical Analysis.
ACM Trans. Program. Lang. Syst., September, 2023

A Reference GLL Implementation.
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

Analysing the SML97 Definition: Lexicalisation.
Proceedings of the Eelco Visser Commemorative Symposium, 2023

2020
Purely functional GLL parsing.
J. Comput. Lang., 2020

2019
Derivation representation using binary subtree sets.
Sci. Comput. Program., 2019

Principled and Pragmatic Specification of Programming Languages.
Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

Multiple lexicalisation (a Java based study).
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

2018
GLL syntax analysers for EBNF grammars.
Sci. Comput. Program., 2018

GLL parsing with flexible combinators.
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

2016
Structuring the GLL parsing algorithm for performance.
Sci. Comput. Program., 2016

2015
Principled software microengineering.
Sci. Comput. Program., 2015

Notions and notations: designing computers before computing.
Proceedings of the Ada Lovelace Symposium 2015, 2015

2014
Modular grammar specification.
Sci. Comput. Program., 2014

2013
GLL parse-tree generation.
Sci. Comput. Program., 2013

Safe Specification of Operator Precedence Rules.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

2012
An algorithm for finding input-output constrained convex sets in an acyclic digraph.
J. Discrete Algorithms, 2012

Island Grammar-Based Parsing Using GLL and Tom.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

2011
LDT: a language definition technique.
Proceedings of the Language Descriptions, Tools and Applications, 2011

2010
Recognition is not parsing - SPPF-style parsing from cubic recognisers.
Sci. Comput. Program., 2010

Preface.
Sci. Comput. Program., 2010

An agile approach to language modelling and development.
Innov. Syst. Softw. Eng., 2010

Translator Generation Using ART.
Proceedings of the Software Language Engineering - Third International Conference, 2010

Modelling GLL Parser Implementations.
Proceedings of the Software Language Engineering - Third International Conference, 2010

Tear-Insert-Fold grammars.
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

2009
Algorithms for generating convex sets in acyclic digraphs.
J. Discrete Algorithms, 2009

GLL Parsing.
Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009

Better Than Optimal: Fast Identification of Custom Instruction Candidates.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008
Preface.
Proceedings of the 8th Workshop on Language Descriptions, Tools and Applications, 2008

2007
Proofs and pedagogy; science and systems: The grammar tool box.
Sci. Comput. Program., 2007

Automatic recursion engineering of reduction incorporated parsers.
Sci. Comput. Program., 2007

Preface.
Proceedings of the Seventh Workshop on Language Descriptions, Tools, and Applications, 2007

BRNGLR: a cubic Tomita-style GLR parsing algorithm.
Acta Informatica, 2007

2006
Right nulled GLR parsers.
ACM Trans. Program. Lang. Syst., 2006

Evaluating GLR parsing algorithms.
Sci. Comput. Program., 2006

2005
Recursion Engineering for Reduction Incorporated Parsers.
Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, 2005

Generalized Bottom Up Parsers With Reduced Stack Activity.
Comput. J., 2005

2004
The GTB and PAT tools.
Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, 2004

The Grammar Tool Box: A Case Study Comparing GLR Parsing Algorithms.
Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, 2004

Reducing non-determinism in right nulled GLR parsers.
Acta Informatica, 2004

Suppression of Redundant Operations in Reverse Compiled Code Using Global Dataflow Analysis.
Proceedings of the Software and Compilers for Embedded Systems, 8th International Workshop, 2004

Generalised Parsing: Some Costs.
Proceedings of the Compiler Construction, 13th International Conference, 2004

2003
Generalised Regular Parsers.
Proceedings of the Compiler Construction, 12th International Conference, 2003

2002
Generalised Reduction Modified LR Parsing for Domain Specific Language Prototyping.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

2000
Reverse Compilation for Digital Signal Processors: A Working Example.
Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

What Assembly Language Programmers Get Up To: Control Flow Challenges in Reverse Compilation.
Proceedings of the 4th European Conference on Software Maintenance and Reengineering, 2000

1999
Experience Paper: Reverse Compilation of Digital Signal Processor Assembler Source to ANSI-C.
Proceedings of the 1999 International Conference on Software Maintenance, 1999

1998
rdp - An Iterator-Based Recursive Descent Parser Generator with Tree Promotion Operators.
ACM SIGPLAN Notices, 1998

Generalised Recursive Descent parsing and Fellow-Determinism.
Proceedings of the Compiler Construction, 7th International Conference, 1998

1995
Crucial Issues in the Design of a Real-Time Contaminant Detection System for Food Products.
Real Time Imaging, 1995

1993
SMILE: A scalable microcontroller library element.
Microprocess. Microprogramming, 1993

1989
Development and implementation of real time image analysis algorithms.
PhD thesis, 1989


  Loading...