2291 search results - page 260 / 459 » Logic Programming and Model Checking |
122
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
In the present paper, the existence and multiplicity problems of extensions are addressed. The focus is on extension of the stable type. The main result of the paper is an elegant...
137
Voted
JUCS
2006
15 years 2 months ago
2006
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...
90
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
115
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
137
click to vote
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...