7961 search results - page 1091 / 1593 » Input-Output Model Programs |
174
Voted
GPCE
2007
Springer
16 years 28 days ago
2007
Springer
Multiple dispatch – the selection of a function to be invoked based on the dynamic type of two or more arguments – is a solution to several classical problems in object-orient...
199
click to vote
OOPSLA
2007
Springer
16 years 27 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
183
Voted
ISSTA
2006
ACM
16 years 22 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
166
click to vote
OOPSLA
2005
Springer
16 years 8 days ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
168
Voted
LPAR
2004
Springer
16 years 4 days ago
2004
Springer
ion-Carrying Code Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 DSIP, Universidad Complutense Madrid 2 Facultad de Inform´atica, Technical University of Madrid ...