4 search results - page 1 / 1 » Calcite: Completing Code Completion for Constructors Using C... |
VL
2010
IEEE
13 years 2 months ago
2010
IEEE
—Calcite is a new Eclipse plugin that helps address the difficulty of understanding and correctly using an API. Calcite finds the most popular ways to instantiate a given class o...
DLOG
2008
13 years 6 months ago
2008
A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...
IDEAS
2000
IEEE
13 years 8 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
PLDI
2003
ACM
13 years 9 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...