JSNice

MaRDI QIDQ53515swMATHFDO

Official website https://dl.acm.org/doi/10.1145/2676726.2677009

Described by source

• Predicting program properties from ``big code

Cited in

(5)

• Merlin
• SerAPI
• Deep Generation of Coq Lemma Names Using Elaborated Terms
• PCM library
• Roosterize

This page was built for software: JSNice