Sciweavers

1088 search results - page 101 / 218
» Tools for support of automata-based programming
Sort
View
ICSM
2006
IEEE
15 years 10 months ago
Software Feature Understanding in an Industrial Setting
Software Engineers frequently need to locate and understand the code that implements a specific user feature of a large system. This paper reports on a study by Motorola Inc. and ...
Michael Jiang, Michael Groble, Sharon Simmons, Den...
APCHI
2004
IEEE
15 years 8 months ago
Creative Expertise and Collaborative Technology Design
The paper is concerned with increasing our understanding of creative expertise drawing upon studies of collaboration between technologists and artists. The nature of expertise in c...
Linda Candy, Ernest A. Edmonds
ASPLOS
2006
ACM
15 years 10 months ago
Combinatorial sketching for finite programs
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
Armando Solar-Lezama, Liviu Tancau, Rastislav Bod&...
ICFP
2008
ACM
16 years 4 months ago
Flask: staged functional programming for sensor networks
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
Geoffrey Mainland, Greg Morrisett, Matt Welsh
OOPSLA
2005
Springer
15 years 10 months ago
Relational queries over program traces
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...
Simon Goldsmith, Robert O'Callahan, Alexander Aike...