Sciweavers

230 search results - page 9 / 46
» Completing Herbelin's Programme
Sort
View
EIS
2011
290views ECommerce» more  EIS 2011»
15 years 29 days ago
Code query by example
Most software engineering techniques that deal with software products customization are based on anticipation: The software designer has to foresee, somehow, the future needs for ...
Sebastien Vaucouleur
PLDI
2005
ACM
15 years 11 months ago
Programming by sketching for bit-streaming programs
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...
Armando Solar-Lezama, Rodric M. Rabbah, Rastislav ...
XPU
2007
Springer
16 years 2 days ago
Overcoming Brooks' Law
Most programmers are familiar with the notion that adding new resources to a project will most likely slow down progress if not bring it to a complete stop while new team members a...
Kealy Opelt
ICSE
2011
IEEE-ACM
14 years 9 months ago
Inferring better contracts
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand M...
OOPSLA
2007
Springer
16 years 3 days ago
Living it up with a live programming language
A dynamic language improves programmer productivity through flexible typing, a focus on high-level programming, and by streamlining the edit-compile-debug cycle. Live languages g...
Sean McDirmid