20 citations · 27 across the 5 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026
Modular Composition of Inductive Types Using Lean Meta-programming
Ramy Shahin
Inductive types are ubiquitous building blocks in many programming and theorem proving languages. An inductive type is a closed set of constructors from which values of the type ca…
cs.PL2020
Automatic and Efficient Variability-Aware Lifting of Functional Programs
Ramy Shahin, Marsha Chechik
A software analysis is a computer program that takes some representation of a software product as input and produces some useful information about that product as output. A softwar…
cs.PL2019★ 7 cited
Variability-aware Datalog
Ramy Shahin, Marsha Chechik
Variability-aware computing is the efficient application of programs to different sets of inputs that exhibit some variability. One example is program analyses applied to Software…