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.
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 title | Program Langage for Logic |
---|---|
Status | Active |
Effective start/end date | 1/1/21 → 12/31/24 |
Keywords
- Programming Languages
- Compiler Construction
- Logic
Fingerprint
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.