1911 search results - page 171 / 383 » Program analysis for code duplication in logic programs |
133
click to vote
WSC
2004
15 years 7 months ago
2004
Developing a sequential simulation program is not an easy task. Developing a distributed simulation program is harder than a sequential one because it is necessary to deal with ma...
148
click to vote
PPDP
2001
Springer
15 years 10 months ago
2001
Springer
This paper explores the question of when two propagationbased constraint systems have the same behaviour, in terms of search space. We categorise the behaviour of domain and bound...
141
click to vote
SIGCSE
1997
ACM
15 years 10 months ago
1997
ACM
A typical Data Structures (CS 2) course covers a wide variety of topics: elementary algorithm analysis; data structures including dynamic structures, trees, tables, graphs, etc.; ...
219
click to vote
JCST
2010
15 years 1 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
167
click to vote
CSL
2009
Springer
16 years 27 days ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...