JSNice

swMATH37814MaRDI QIDQ53515FDOQ53515

Author name not available (Why is that?)

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

Described by source

• Predicting program properties from ``big code

Cited In (5)

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

This page was built for software: JSNice