232 search results - page 28 / 47 » Tasks: language support for event-driven programming |
ICFP
2003
ACM
14 years 8 months ago
2003
ACM
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...
UM
2001
Springer
14 years 13 days ago
2001
Springer
Browsing- and querying-oriented schemes have long served as the principal techniques for software developers to locate software components from a component repository for reuse. Un...
EMNLP
2009
13 years 5 months ago
2009
We present a machine translation framework that can incorporate arbitrary features of both input and output sentences. The core of the approach is a novel decoder based on lattice...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
The visualizations of the Whyline are presented, which focus on supporting the exploration a source code and how it executes. The visualization is concise, simple to navigate, and...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Developers perform small-scale reuse tasks to save time and to increase the quality of their code. Due to the small scale of such tasks, the overhead in reusing source code can qu...