30 citations · 57 across the 15 of their papers we have counts for
Showing 2009 · cs.PLShow all
2 papers · 2 filters
cs.PL2009★ 4 cited
A Semantics-Aware Editing Environment for Prolog in Eclipse
Jens Bendisposto, Ian Endrijautzki, Michael Leuschel +1
In this paper we present a Prolog plugin for Eclipse based upon BE4, and providing many features such as semantic-aware syntax highlighting, outline view, error marking, content as…
cs.PL2009★ 2 cited
Improving Size-Change Analysis in Offline Partial Evaluation
Michael Leuschel, Salvador Tamarit, German Vidal
Some recent approaches for scalable offline partial evaluation of logic programs include a size-change analysis for ensuring both so called local and global termination. In this wo…