research
∙
03/18/2023
Modularity and Separate Compilation in Logic Programming
The ability to compose code in a modular fashion is important to the con...
share
research
∙
12/17/2021
About a Proof Pearl: A Purported Solution to a POPLMARK Challenge Problem that is Not One
The POPLMARK Challenge comprises a set of problems intended to measure t...
research
∙
08/24/2021
On Encoding LF in a Predicate Logic over Simply-Typed Lambda Terms
Felty and Miller have described what they claim to be a faithful encodin...
research
∙
07/16/2021
Adelfa: A System for Reasoning about LF Specifications
We present a system called Adelfa that provides mechanized support for r...
research
∙
06/30/2021
A Logic for Reasoning About LF Specifications
We present a logic named L_LF whose intended use is to formalize propert...
research
∙
06/26/2018
Towards a Logic for Reasoning About LF Specifications
We describe the development of a logic for reasoning about specification...
research
∙
06/20/2018