Active code completion

Omar, Cyrus; LaToza, Thomas D.; Myers, Brad A.

doi:10.1109/vlhcc.2011.6070422

Cited by 20 publications

(19 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We were informed by our previous work on Active Code Completion (ACC), which associates code completion palettes with types [25], much as we associate parsers with types. ACC palettes could be used for defining a TSL syntax for types in a complementary manner.…”

Section: Related Workmentioning

confidence: 99%

Safely Composable Type-Specific Languages

Omar

Kurilova

Nistor

et al. 2014

ECOOP 2014 – Object-Oriented Programming

View full text Add to dashboard Cite

Abstract. Programming languages often include specialized syntax for common datatypes (e.g. lists) and some also build in support for specific specialized datatypes (e.g. regular expressions), but user-defined types must use generalpurpose syntax. Frustration with this causes developers to use strings, rather than structured data, with alarming frequency, leading to correctness, performance, security, and usability issues. Allowing library providers to modularly extend a language with new syntax could help address these issues. Unfortunately, prior mechanisms either limit expressiveness or are not safely composable: individually unambiguous extensions can still cause ambiguities when used together. We introduce type-specific languages (TSLs): logic associated with a type that determines how the bodies of generic literals, able to contain arbitrary syntax, are parsed and elaborated, hygienically. The TSL for a type is invoked only when a literal appears where a term of that type is expected, guaranteeing noninterference. We give evidence supporting the applicability of this approach and formally specify it with a bidirectionally typed elaboration semantics for the Wyvern programming language.

show abstract

Section: Related Workmentioning

confidence: 99%

Safely Composable Type-Specific Languages

Omar

Kurilova

Nistor

et al. 2014

ECOOP 2014 – Object-Oriented Programming

View full text Add to dashboard Cite

show abstract

“…Research on tools and automated support for programmers is an ongoing topic (e.g., [24,41,1]). However, as shown in a research survey in [34, pp.…”

Section: Research On Writing Technologymentioning

confidence: 99%

Learning from Errors: Systematic Analysis of Complex Writing Errors for Improving Writing Technology

Mahlow

2014

Language Production, Cognition, and the Lexicon

View full text Add to dashboard Cite

In this paper, we describe ongoing research on writing errors with the ultimate goal to develop error-preventing editing functions in word-processors. Drawing from the state-of-the-art research in errors carried out in various fields, we propose the application of a general concept for action-slips as introduced by Norman [39]. We demonstrate the feasibility of this approach by using a large corpus of writing errors in published texts. The concept of slips considers both the process and the product: some failure in a procedure results in an error in the product, i.e., is visible in the written text. In order to develop preventing functions, we need to determine causes of such visible errors.

show abstract

“…RELATED WORK Much work has focused on improving code completion. For example, Omar et al [6] developed a system architecture that allows library developers to introduce interactive interfaces, called palettes, for library users to use for code completion in the context of class instantiation. Developers can also implement palettes for their own code, but palettes are highly susceptible to changes.…”

Section: Prototype Toolmentioning

confidence: 99%

Temporal code completion and navigation

Lee¹,

Harwell²,

Khurshid³

et al. 2013

2013 35th International Conference on Software Engineering (ICSE)

View full text Add to dashboard Cite

Abstract-Modern IDEs make many software engineering tasks easier by automating functionality such as code completion and navigation. However, this functionality operates on one version of the code at a time. We envision a new approach that makes code completion and navigation aware of code evolution and enables them to operate on multiple versions at a time, without having to manually switch across these versions. We illustrate our approach on several example scenarios. We also describe a prototype Eclipse plugin that embodies our approach for code completion and navigation for Java code. We believe our approach opens a new line of research that adds a novel, temporal dimension for treating code in IDEs in the context of tasks that previously required manual switching across different code versions.

show abstract

Active code completion

Cited by 20 publications

References 4 publications

Safely Composable Type-Specific Languages

Safely Composable Type-Specific Languages

Learning from Errors: Systematic Analysis of Complex Writing Errors for Improving Writing Technology

Temporal code completion and navigation

Contact Info

Product

Resources

About