NDLI: Principled syntactic code completion using placeholders

Please wait, while we are loading the content...

Redex: a language for lightweight semantics engineering (keynote)

Parsing and reflective printing, bidirectionally

Experiences of models@run-time with EMF and CDO

Language design and implementation for the domain of coding conventions

Towards a universal code formatter through machine learning

Automated testing support for reactive domain-specific modelling languages

Efficient model partitioning for distributed model transformations

Taming context-sensitive languages with principled stateful parsing

Runtime support for rule-based access-control evaluation through model-transformation

BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment

The IDE portability problem and its solution in Monto

Side effects take the blame

Coupled software transformations revisited

Efficient development of consistent projectional editors using grammar cells

Object-oriented design pattern for DSL program monitoring

Adding uncertainty and units to quantity types in software models

Principled syntactic code completion using placeholders

Symbolic execution of high-level transformations

Xdiagram: a declarative textual DSL for describing diagram editors (tool demo)

MetaEdit+ for collaborative language engineering and language use (tool demo)

Execution framework of the GEMOC studio (tool demo)

FRaMED: full-fledge role modeling editor (tool demo)

DrAST: an inspection tool for attributed syntax trees (tool demo)

Raincode assembler compiler (tool demo)

Principled syntactic code completion using placeholders

Content Provider	ACM Digital Library
Author	Erdweg, Sebastian Visser, Eelco Wachsmuth, Guido Amorim, Luís Eduardo de Souza
Abstract	Principled syntactic code completion enables developers to change source code by inserting code templates, thus increasing developer efficiency and supporting language exploration. However, existing code completion systems are ad-hoc and neither complete nor sound. They are not complete and only provide few code templates for selected programming languages. They also are not sound and propose code templates that yield invalid programs when inserted.This paper presents a generic framework that automatically derives complete and sound syntactic code completion from the syntax definition of arbitrary languages. A key insight of our work is to provide an explicit syntactic representation for incomplete programs using placeholders. This enables us to address the following challenges for code completion separately: (i) completing incomplete programs by replacing placeholders with code templates, (ii) injecting placeholders into complete programs to make them incomplete, and (iii) introducing lexemes and placeholders into incorrect programs through error-recovery parsing to make them correct so we can apply one of the previous strategies. We formalize our framework and provide an implementation in the Spoofax Language Workbench. .
Starting Page	163
Ending Page	175
Page Count	13
File Format	PDF
ISBN	9781450344470
DOI	10.1145/2997364.2997374
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2016-10-20
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Ides Language workbenches Code completion
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Scripting refactorings with JunGL

JunGL: a scripting language for refactoring

Predicting source code effectiveness of prediction based source code auto completion.

A principled approach to REPL interpreters

Implementing feature variability for models and code with projectional language workbenches

Embedded software development with projectional language workbenches

Efficient development of consistent projectional editors using grammar cells

Code completion with statistical language models

Facilitating language-oriented game development by the help of language workbenches

Principled syntactic code completion using placeholders

Similar Documents

Scripting refactorings with JunGL

JunGL: a scripting language for refactoring

Predicting source code effectiveness of prediction based source code auto completion.

A principled approach to REPL interpreters

Implementing feature variability for models and code with projectional language workbenches

Embedded software development with projectional language workbenches

Efficient development of consistent projectional editors using grammar cells

Code completion with statistical language models

Facilitating language-oriented game development by the help of language workbenches

Principled syntactic code completion using placeholders