View Proposal

Proposer
Joe Wells
Title
investigate a lambda-calculus-like machine/assembly language
Goal
Description
The lambda-calculus is the standard theory for reasoning about computer programs. Machine language is what available CPUs actually run. This project involves investigating a machine-language-like formalism with the equational reasoning power of the lambda calculus. Useful tasks that might be part of the project include implementing the language and testing or verifying its properties.
Resources
Background
lambda-calculus, programming, machine language, logic
Url
Difficulty Level
Variable
Ethical Approval
None
Number Of Students
1
Supervisor
Joe Wells
Keywords
Degrees
Bachelor of Science in Computer Science
Master of Engineering in Software Engineering
Master of Science in Computing (2 Years)
Master of Science in Software Engineering
Bachelor of Science in Computing Science
Back to List