Professor Elizabeth Scott
- 2012
- Published
An algorithm for finding input-output constrained convex sets in an acyclic digraph
Gutin, G., Johnstone, A., Reddington, J., Scott, E. & Yeo, A. 2012 In : Journal of Discrete Algorithms. 0, p. -.Research output: Contribution to journal › Article
- 2011
- Published
LDT: a language definition technique
Johnstone, A. & Scott, E. 2011Research output: Contribution to conference › Paper
- Published
Modelling GLL parser implementations
Johnstone, A. & Scott, E. 2011 In : Lecture Notes in Computer Science. 6563, p. 42-61.Research output: Contribution to journal › Article
- Published
Translator generation using ART
Johnstone, A. & Scott, E. 2011 In : Lecture Notes in Computer Science. 6563, p. 306-315.Research output: Contribution to journal › Article
- 2010
- Published
An agile approach to language modelling and development
Johnstone, A., Mosses, P. D. & Scott, E. 2010 In : Innovations in Systems and Software Engineering. 6, 1-2, p. 145-153. 9 p.Research output: Contribution to journal › Article
- Published
Tear-Insert-Fold grammars
Johnstone, A. & Scott, E. 2010Research output: Contribution to conference › Paper
- Published
Recognition is not parsing - SPPF-style parsing from cubic recognisers
Scott, E. & Johnstone, A. 1-Jan-2010 In : Science of Computer Programming. 75, 1-2, p. 55-70. 16 p.Research output: Contribution to journal › Article
- 2009
- Published
Algorithms for generating convex sets in acyclic digraphs
Balister, P., Gerke, S., Gutin, G., Johnstone, A., Reddington, J., Scott, E., Soleimanfallah, A. & Yeo, A. 2009 In : Journal of Discrete Algorithms. 7, 4, p. 509 - 518.Research output: Contribution to journal › Article
- Published
An algorithm for finding input-output constrained convex sets in an acyclic digraph
Gutin, G., Johnstone, A., Reddington, J., Scott, E., Yeo, A., Broersma, H. (ed.), Erlebach, T. (ed.), Friedeizky, T. (ed.) & Paulusma, D. (ed.) 2009 In : Lecture Notes in Computer Science. 5344, p. 206--217.Research output: Contribution to journal › Article
- Published
Better than optimal: fast identification of custom instruction candidates
Reddington, J., Gutin, G., Johnstone, A., Scott, E. & Yeo, A. 2009 p. 17-24. 7 p.Research output: Contribution to conference › Paper
- Published
GLL parsing
Scott, E. & Johnstone, A. 2009 In : Electronic Notes in Theoretical Computer Science. 253, 7, 1 p.Research output: Contribution to journal › Article
- 2008
- Published
SPPF-Style Parsing From Earley Recognisers
Scott, E. Apr-2008 In : Electronic Notes in Theoretical Computer Science. 203, 2, p. 53-67.Research output: Contribution to journal › Article
- 2007
- Published
An algorithm for finding connected convex subgraphs of an acyclic digraph
Gutin, G., Johnstone, A., Reddington, J., Scott, E., Soleimanfallah, A. & Yeo, A. 2007 p. 69--82.Research output: Contribution to conference › Paper
- Published
Automatic recursion engineering of reduction incorporated parsers
Johnstone, A. & Scott, E. 1-Sep-2007 In : Science of Computer Programming. 68, 2, p. 95-110. 16 p.Research output: Contribution to journal › Article
- Published
BRNGLR: A cubic tomita-style GLR parsing algorithm
Scott, E., Johnstone, A. & Economopoulos, R. Oct-2007 In : Acta Informatica. 44, 6, p. 427-461. 35 p.Research output: Contribution to journal › Article
- Published
Proofs and pedagogy; science and systems: The grammar tool box
Johnstone, A. & Scott, E. 1-Dec-2007 In : Science of Computer Programming. 69, 1-3, p. 76-85. 10 p.Research output: Contribution to journal › Article
- 2006
- Published
Evaluating GLR parsing algorithms
Johnstone, A., Scott, E. & Economopoulos, G. 2006 In : Science of Computer Programming. 61, 3, p. 228-244. 17 p.Research output: Contribution to journal › Article
- Published
Right nulled GLR parsers
Scott, E. & Johnstone, A. 1-Jul-2006 In : ACM Transactions on Programming Languages and Systems. 28, 4, p. 577-618. 42 p.Research output: Contribution to journal › Article
- 2005
- Published
Generalized bottom up parsers with reduced stack activity
Scott, E. & Johnstone, A. 2005 In : Computer Journal. 48, 5, p. 565-587. 23 p.Research output: Contribution to journal › Article
- Published
Recursion engineering for Reduction Incorporated parsers
Johnstone, A. & Scott, E. 2005 In : Electronic Notes in Theoretical Computer Science. 141, 4, p. 143-160. 18 p.Research output: Contribution to journal › Article
- 2004
- Published
Generalised parsing: Some costs
Johnstone, A., Scott, E. & Economopoulos, G. 2004 In : Lecture Notes in Computer Science. 2985, p. 89-103. 15 p.Research output: Contribution to journal › Article
- Published
Suppression of redundant operations in reverse compiled code using global dataflow analysis
Johnstone, A. & Scott, E. 2004 In : Lecture Notes in Computer Science. 3199, p. 92-106. 15 p.Research output: Contribution to journal › Article
- Published
The grammar tool box: a case study comparing GLR parsing algorithms
Johnstone, A., Scott, E. & Economopoulos, G. 2004Research output: Contribution to conference › Paper
- Published
Reducing non-determinism in right nulled GLR parsers
Scott, E. & Johnstone, A. May-2004 In : Acta Informatica. 40, 6-7, p. 459-489. 31 p.Research output: Contribution to journal › Article
- Published
The GTB and PAT tools
Johnstone, A., Scott, E. & Economopoulos, G. 27-Dec-2004 p. 173-175.Research output: Contribution to conference › Paper
- 2003
- Published
Generalised regular parsers
Johnstone, A. & Scott, E. 2003 In : Lecture Notes in Computer Science. 2622, p. 232-246. 15 p.Research output: Contribution to journal › Article
- 2002
- Published
Generalised reduction modified LR parsing for domain specific language prototyping
Johnstone, A. & Scott, E. 7-Jan-2002 p. 3666 - 3675 .Research output: Contribution to conference › Paper
- 2000
- Published
Reverse compilation for Digital Signal Processors: a working example
Johnstone, A., Scott, E. & Womack, T. 2000Research output: Contribution to conference › Paper
- Published
What assembly programmers get up to: control flow challenges in reverse compilation
Johnstone, A., Scott, E. & Womack, T. 2000 p. 83--92.Research output: Contribution to conference › Paper
- 1999
- Published
Reverse compilation for Digital Signal Processor assembler source to ANSI-C
Johnstone, A., Scott, E. & Womack, T. 1999Research output: Contribution to conference › Paper
- 1998
- Published
Generalised recursive descent parsing and follow-determinism
Johnstone, A. & Scott, E. 1998 In : Lecture Notes in Computer Science. 1383, p. 16-30. 15 p.Research output: Contribution to journal › Article
- Published
rdp - an iterator-based recursive descent parser generator with tree promotion operators
Johnstone, A. & Scott, E. Sep-1998 In : ACM SIGPLAN Notices. 33, 9, p. 87-94. 8 p.Research output: Contribution to journal › Article
- 1997
- Published
The order types of termination orderings on terms, strings and multisets
Martin, U. & Scott, E. 1997 In : Journal of Symbolic Logic. 62, 2, p. 624-635.Research output: Contribution to journal › Article
- 1994
- Published
Weights for total division orderings on strings
Scott, E. 1994 In : Theoretical Computer Science. 135, 2, p. 345-359.Research output: Contribution to journal › Article
- 1993
- Published
An automated proof of the correctness of a compiling specification
Scott, E. 1993 In : Workshops in Computing. p. 392-402.Research output: Contribution to journal › Article
- Published
Using LP to study the language PL0+
Scott, E. & Norrie, K. 1993 In : Workshops in Computing. p. 227-245.Research output: Contribution to journal › Article
- 1992
- Published
Rationality of division orderings
Cohen, D. & Scott, E. 1992 In : Information Processing Letters. p. 307-311.Research output: Contribution to journal › Article
- 1989
- Published
A tour around finitely presented infinite simple groups
Scott, E. 1989 Algorithms And Classification in Combinatorial Group Theory. Springer-Verlag p. 83-119.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- 1988
- Published
Existentially Closed Groups
Higman, G. & Scott, E. 1988 Oxford : Oxford University Press. 170 p.Research output: Book/Report › Book
- 1984
- Published
A construction which can be used to produce finitely presented infinite simple groups
Scott, E. 1984 In : Journal of Algebra. 90, p. 294-322.Research output: Contribution to journal › Article
- Published
A finitely presented simple group with unsolvable conjugacy problem
Scott, E. 1984 In : Journal of Algebra. 90, p. 333-353.Research output: Contribution to journal › Article
- Published
The embedding of certain linear and abelian groups in finitely presented simple groups
Scott, E. 1984 In : Journal of Algebra. 90, p. 323-332.Research output: Contribution to journal › Article