762 search results - page 122 / 153 » Intercode Regular Languages |
129
Voted
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
We present Binary Refactoring: a software engineering technique for improving the implementation of programs without modifying their source code. While related to regular refactor...
133
Voted
LATA
2009
Springer
15 years 10 months ago
2009
Springer
We consider a restricted variant of the hairpin completion called bounded hairpin completion. The hairpin completion is a formal operation inspired from biochemistry. Applied to a ...
129
Voted
VL
2009
IEEE
15 years 10 months ago
2009
IEEE
Spreadsheets can be viewed as a highly flexible endusers programming environment which enjoys wide-spread adoption. But spreadsheets lack many of the structured programming conce...
137
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
124
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...