315 search results - page 32 / 63 » Reasoning about Assignments in Recursive Data Structures |
123
Voted
ICALT
2008
IEEE
15 years 10 months ago
2008
IEEE
Collaboration has long been considered an effective approach to learning. However, forming optimal groups can be a time consuming and complex task. Different approaches have been ...
130
click to vote
JCB
2008
15 years 3 months ago
2008
Resolving the general organizational principles that govern the interactions during transcriptional gene regulation has great relevance for understanding disease progression, biof...
141
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
140
click to vote
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
136
Voted
CP
2004
Springer
15 years 7 months ago
2004
Springer
Scheduling is one of the most successful application areas of constraint programming mainly thanks to special global constraints designed to model resource restrictions. Among thes...