47 search results - page 10 / 10 » Type inference and strong static type checking for Promela |
POPL
2005
ACM
14 years 5 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
Because of the strong coupling of classes and the proliferation of unneeded class members induced by inheritance, the suggestion to use composition and delegation instead has beco...