4067 search results - page 395 / 814 » Programs for Applying Symmetries |
165
click to vote
CP
1998
Springer
15 years 11 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
206
click to vote
POS
1994
Springer
15 years 11 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
171
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
195
click to vote
ISSTA
2007
ACM
15 years 8 months ago
2007
ACM
As concurrent and distributive applications are becoming more common and debugging such applications is very difficult, practical tools for automatic debugging of concurrent appl...
209
click to vote
GPCE
2008
Springer
15 years 8 months ago
2008
Springer
Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL i...