4513 search results - page 572 / 903 » Logic programming with satisfiability |
124
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
118
click to vote
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
We present a study of all sources of aliasing in over one million lines of C code, identifying in the process the common patterns of aliasing that arise in practice. We find that ...
140
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...
136
click to vote
DIGRA
2005
Springer
15 years 10 months ago
2005
Springer
We were motivated to consider proposing/adopting a new curriculum by the decrease in student enrolments currently experienced by our computing science programs. This requirement f...
142
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...