View Proposal

Proposer
James McKinna
Title
programming languages in the K framework
Goal
Description
The K framework https://kframework.org/ (with additional tooling at https://github.com/runtimeverification/k) is, in the words of its developers, "a rewrite-based executable semantic framework in which programming languages, type systems and formal analysis tools can be defined using configurations and rules. " This project concerns doing experiments with representation of, and perhaps reasoning with, programming languages not already supported by K. We also have the offer of services from runtimeverification.com for technical advice and support. Further details of the scope and difficulty of this project available on request. There is room for >1 student to work with me on this.
Resources
Background
Url
Difficulty Level
Easy
Ethical Approval
None
Number Of Students
2
Supervisor
James McKinna
Keywords
Degrees
Back to List