Skip to content

Undergraduate Research Opportunities

Department of Computer Science, Royal Holloway, University of London

Undergraduate Research Opportunities

Tag: formal grammar

Coq Formalisation of Recursive Adaptive Grammars (available)

The aim of this project is to formalise within the Coq proof assistant [1] the meta-theory of the recursive adaptive grammar framework [2] Programming languages are usually specified on two levels. The first level defines a context-free grammar that specifies the syntax of the language. Usually, however, not all syntactically correct programs make sense, and … full description “Coq Formalisation of Recursive Adaptive Grammars (available)”

Author Reuben RoweCategories Programming Languages, Software Engineering, VerificationTags computer science theory, Coq, formal grammar, formalisation, proof assistant

Information

  • What is UROP?
  • How to Apply
  • Available projects
  • Ongoing projects
  • Completed projects
  • Shop
  • Cart
  • Checkout
  • My account

Research Areas

  • Algorithms
  • Artificial Intelligence
  • Bioinformatics
  • Blockchain Technologies
  • Compliance and Auditing
  • Cryptography
  • Cyber-Physical Systems
  • Data Science
  • Distributed Systems
  • FAIR data
  • Logic
  • Low Level Programming (Firmware)
  • Machine Learning
  • Ontology
  • Physics
  • Programming Languages
  • Security Behaviours
  • Software Engineering
  • System Forensics
  • Systems Security
  • Uncategorized
  • User and Data Privacy
  • Verification

For Supervisors

  • Instructions
  • Manage Projects
Undergraduate Research Opportunities Proudly powered by WordPress