Elizabeth Scott

Robert Walsh

ACM Trans. Program. Lang. Syst., September, 2023

Analysing the SML97 Definition: Lexicalisation.

[BibT_eX]

[DOI]

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2020

Purely functional GLL parsing.

[BibT_eX]

[DOI]

L. Thomas van Binsbergen

J. Comput. Lang., 2020

2019

Derivation representation using binary subtree sets.

[BibT_eX]

[DOI]

L. Thomas van Binsbergen

Sci. Comput. Program., 2019

Principled and Pragmatic Specification of Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

Multiple lexicalisation (a Java based study).

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

2018

GLL syntax analysers for EBNF grammars.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

GLL parsing with flexible combinators.

[BibT_eX]

[DOI]

L. Thomas van Binsbergen

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

2016

Structuring the GLL parsing algorithm for performance.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

2015

Principled software microengineering.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

2014

Modular grammar specification.

[BibT_eX]

[DOI]

Mark van den Brand

Sci. Comput. Program., 2014

2013

GLL parse-tree generation.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Safe Specification of Operator Precedence Rules.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 6th International Conference, 2013

2012

An algorithm for finding input-output constrained convex sets in an acyclic digraph.

[BibT_eX]

[DOI]

J. Discrete Algorithms, 2012

Island Grammar-Based Parsing Using GLL and Tom.

[BibT_eX]

[DOI]

Pierre-Etienne Moreau

Proceedings of the Software Language Engineering, 5th International Conference, 2012

2011

LDT: a language definition technique.

[BibT_eX]

[DOI]

Mark van den Brand

Proceedings of the Language Descriptions, Tools and Applications, 2011

2010

Recognition is not parsing - SPPF-style parsing from cubic recognisers.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

An agile approach to language modelling and development.

[BibT_eX]

[DOI]

Peter D. Mosses

Innov. Syst. Softw. Eng., 2010

Translator Generation Using ART.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - Third International Conference, 2010

Modelling GLL Parser Implementations.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - Third International Conference, 2010

Tear-Insert-Fold grammars.

[BibT_eX]

[DOI]

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

2009

Algorithms for generating convex sets in acyclic digraphs.

[BibT_eX]

[DOI]

Arezou Soleimanfallah

Anders Yeo

J. Discrete Algorithms, 2009

GLL Parsing.

[BibT_eX]

[DOI]

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

Better Than Optimal: Fast Identification of Custom Instruction Candidates.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2007

Proofs and pedagogy; science and systems: The grammar tool box.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

Automatic recursion engineering of reduction incorporated parsers.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

SPPF-Style Parsing From Earley Recognisers.

[BibT_eX]

[DOI]

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

BRNGLR: a cubic Tomita-style GLR parsing algorithm.

[BibT_eX]

[DOI]

Acta Informatica, 2007

2006

Right nulled GLR parsers.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2006

Evaluating GLR parsing algorithms.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

2005

Recursion Engineering for Reduction Incorporated Parsers.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, 2005

Generalized Bottom Up Parsers With Reduced Stack Activity.

[BibT_eX]

[DOI]

Comput. J., 2005

2004

The GTB and PAT tools.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, 2004

The Grammar Tool Box: A Case Study Comparing GLR Parsing Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, 2004

Reducing non-determinism in right nulled GLR parsers.

[BibT_eX]

[DOI]

Acta Informatica, 2004

Suppression of Redundant Operations in Reverse Compiled Code Using Global Dataflow Analysis.

[BibT_eX]

[DOI]

Proceedings of the Software and Compilers for Embedded Systems, 8th International Workshop, 2004

Generalised Parsing: Some Costs.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 13th International Conference, 2004

2003

Generalised Regular Parsers.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 12th International Conference, 2003

2002

Generalised Reduction Modified LR Parsing for Domain Specific Language Prototyping.

[BibT_eX]

[DOI]

Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

2000

Reverse Compilation for Digital Signal Processors: A Working Example.

[BibT_eX]

[DOI]

Tim Womack

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.

[BibT_eX]

[DOI]

Tim Womack

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.

[BibT_eX]

[DOI]

Tim Womack

Proceedings of the 1999 International Conference on Software Maintenance, 1999

1998

rdp - An Iterator-Based Recursive Descent Parser Generator with Tree Promotion Operators.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1998

Extract rules by using rough set and knowledge-based NN.

[BibT_eX]

[DOI]

Shitong Wang

A. Gamermann

J. Comput. Sci. Technol., 1998

Generalised Recursive Descent parsing and Fellow-Determinism.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 7th International Conference, 1998

1997

The Order Types of Termination Orderings on Monadic Terms, Strings and Multisets.

[BibT_eX]

[DOI]

Ursula Martin