Designing and Implementing a Programming Language for Logic

Project: Monitored by Research Administration

Project Details

Grant Program

Faculty Development Competitive Research Grant Program 2021-2023

Project Description

We will design, implement, and use a programming language for
the implementation of logic. It has a flexible type system that is able to
model the complicated recursive structures that frequently occur in logic.
The language uses an adaptive type system, which means that the same
variable or expression can have different types in different contexts.
This completely removes the need for typecasts. The language will be
designed in such a way that it can be compiled efficiently into
native computer code, while at the same time allowing high level
programming. We we plan to implement the compiler and use it in sample projects.
Short titleProgram Langage for Logic
StatusNot started


  • Programming Languages
  • Compiler Construction
  • Logic


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.