905 search results - page 112 / 181 » Code Generator Testing in Practice |
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Bug patterns are erroneous code idioms or bad coding practices that have been proved fail time and time again. They mainly arise from the misunderstanding of language features, th...
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
COOPIS
2004
IEEE
15 years 1 months ago
2004
IEEE
Abstract. We have recently witnessed a growing interest in self organising systems, both in research and in practice. These systems re-organise in response to new or changing condi...