vix.ing · top · new · best · stats · spec

Krishnan, Rahul

  1. Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
    2024/08/28 by K. Johnson, Johnson, Keith J. C., R. Krishnan +5 · 3 citations
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL)