DeepAI
Log In Sign Up

Deep Reinforcement Learning for Programming Language Correction

01/31/2018
by   Rahul Gupta, et al.
0

Novice programmers often struggle with the formal syntax of programming languages. To assist them, we design a novel programming language correction framework amenable to reinforcement learning. The framework allows an agent to mimic human actions for text navigation and editing. We demonstrate that the agent can be trained through self-exploration directly from the raw input, that is, program text itself, without any knowledge of the formal syntax of the programming language. We leverage expert demonstrations for one tenth of the training data to accelerate training. The proposed technique is evaluated on 6975 erroneous C programs with typographic errors, written by students during an introductory programming course. Our technique fixes 14 29 tool, DeepFix, which uses a fully supervised neural machine translation approach.

READ FULL TEXT

page 1

page 2

page 3

page 4

03/27/2018

Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language

This article presents the formal syntax and semantics for a large subset...
12/07/2020

Describing the syntax of programming languages using conjunctive and Boolean grammars

A classical result by Floyd ("On the non-existence of a phrase structure...
07/17/2018

Merlin: A Language Server for OCaml (Experience Report)

We report on the experience of developing Merlin, a language server for ...
05/28/2019

An Experiment with a User Manual of a Programming Language Based on a Denotational Semantics

Denotational models should provide an opportunity for the revision of cu...
04/03/2020

Interpreted Programming Language Extension for 3D Render on the Web

There are tools to ease the 2D/3D graphics development for programmers. ...
12/12/2017

A Practical Approach for Detecting Logical Error in Object Oriented Environment

A programming language is a formally constructed language designed to co...
05/24/2021

Actions You Can Handle: Dependent Types for AI Plans

Verification of AI is a challenge that has engineering, algorithmic and ...