1216 search results - page 161 / 244 » Hybrid type checking |
129
click to vote
TACAS
2010
Springer
15 years 1 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
146
Voted
GPCE
2009
Springer
15 years 1 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
117
Voted
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...
137
click to vote
INTERACT
2007
15 years 5 months ago
2007
Many systems – such as map viewers or visual editors – provide a limited viewport onto a larger graphical workspace. The limited viewport means that users often have to navigat...
141
click to vote
ICECCS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...