Predicting Program Properties from "Big Code"

DOI10.1145/2676726.2677009zbMath1346.68063OpenAlexW2156981320WikidataQ131119477 ScholiaQ131119477MaRDI QIDQ2819795

Veselin Raychev, Martin Vechev, Andreas Krause

Publication date: 29 September 2016

Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2676726.2677009

zbMATH Keywords

typesconditional random fieldsstructured predictionnamesprogram propertiesJavaScriptbig codeclosure compiler

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Deep Generation of Coq Lemma Names Using Elaborated Terms ⋮ JSNice

Uses Software

• JavaScript
• TypeScript
• Merlin

This page was built for publication: Predicting Program Properties from "Big Code"