An approach to completing variable names for implicitly typed functional languages

Isao Sasano, Takumi Goto

研究成果: Article査読

2 被引用数 (Scopus)

抄録

This paper presents an approach to completing variable names when writing programs in an implicitly typed functional language. As a first step toward developing practical systems, we considered a simple case: up to the cursor position the program text is given completely. With this assumption we specify a variable completion problem for an implicitly typed core functional language with let-polymorphism, and show an algorithm for solving the problem. Based on the algorithm we have implemented a variable name completion system for the language as an Emacs-mode.

本文言語English
ページ(範囲)127-163
ページ数37
ジャーナルHigher-Order and Symbolic Computation
25
1
DOI
出版ステータスPublished - 2012 3月

ASJC Scopus subject areas

  • ソフトウェア
  • コンピュータ サイエンスの応用

フィンガープリント

「An approach to completing variable names for implicitly typed functional languages」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル