2881 search results - page 439 / 577 » Model Checking for Programming Languages using Verisoft |
126
click to vote
SCAM
2006
IEEE
15 years 11 months ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
248
click to vote
CC
2009
Springer
16 years 5 months ago
2009
Springer
Debugging distributed systems is challenging. Although incremental debugging during development finds some bugs, developers are rarely able to fully test their systems under realis...
174
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
131
click to vote
POS
1998
Springer
15 years 9 months ago
1998
Springer
Swizzling refers to the translation of object references from an external, persistent format to an internal, transient format used during application execution. Eager swizzling sc...
141
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...