Organisation profile
Organisation profile
Work in the Centre for Software Language Engineering focuses on the theory and application of grammar-based techniques. Our interests encompass traditional programming language design and implementation; Domain Specific Language development; reverse compilation; modular syntax and semantics; the interpretation of biological sequence data; and the semi-automatic derivation of customised computer architectures for embedded systems.
UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being
Profiles
-
Adrian Johnstone
- Department of Computer Science - Professor of Computing
- Centre for Software Language Engineering
- Centre for Programming Languages and Systems
Person: Staff - Academic staff, Academic
-
Zhaohui Luo
- Department of Computer Science - Professor of Computer Science
- Centre for Software Language Engineering
- Centre for Intelligent Systems
- Centre for Programming Languages and Systems
Person: Staff - Academic staff
-
Elizabeth Scott
- Department of Computer Science - Professor in Computer Science
- Centre for Software Language Engineering
- Centre for Programming Languages and Systems
Person: Academic Contact, Staff - Academic staff
-
Earley Table Traversing Parsers
Scott, E. & Johnstone, A., Jan 2026, In: Science of Computer Programming. 247, p. 1-43 43 p., 103335.Research output: Contribution to journal › Article › peer-review
Open Access1 Downloads (Pure) -
Handling Grammar Cycles in the 1997 SML Definition
Scott, E. & Johnstone, A., 17 Jun 2025, Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering (SLE '25), June 12--13, 2025, Koblenz, Germany. ACM, p. 3-15 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile111 Downloads (Pure) -
A Metatheoretic Analysis of Subtype Universes
Bradley, F. & Luo, Z., 28 Jul 2023, (Accepted/In press) 28th International Conference on Types for Proofs and Programs (TYPES 2022): Leibniz International Proceedings in Informatics. Dagstuhl, Germany: Schloss Dagstuhl –Leibniz Center for Informatics, Vol. 269. 21 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
Open Access
Projects
- 4 Finished
-
Developing Creative Methods of Sensing Air in Villa Inflamable, Argentina
Engelmann, S. (PI), Kuenzel, S. (CoI), Tisan, A.-S. (CoI), Fisher, R. (CoI), Lowry, D. (CoI), Nisbet-Jones, P. (CoI), Adey, P. (CoI), Clemitshaw, K. (CoI), France, J. (CoI) & Johnstone, A. (CoI)
1/04/20 → 31/07/21
Project: Research
-
EPSRC CDT2
Cid, C. (PI), Paterson, K. (CoI), Mayes, K. (CoI), Martin, K. M. (CoI), Kinder, J. (CoI) & Adey, P. (CoI)
Eng & Phys Sci Res Council EPSRC
1/10/16 → 31/03/23
Project: Research
-
Datasets
-
A Reference GLL Implementation - language corpora repository
Johnstone, A. (Creator) & Scott, E. (Other), Royal Holloway, University of London, 23 Oct 2023
https://github.com/AJohnstone2007/referenceLanguageCorpora
Dataset
-
A reference GLL implementation - code base
Johnstone, A. (Creator), Royal Holloway, University of London, 20 Oct 2023
https://github.com/AJohnstone2007/referenceImplementation
Dataset