5090 search results - page 624 / 1018 » Constructing Strategies for Programming |
169
click to vote
IFL
2007
Springer
16 years 29 days ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
161
Voted
RR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
233
click to vote
PLDI
2006
ACM
16 years 23 days ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
188
click to vote
PPPJ
2006
ACM
16 years 23 days ago
2006
ACM
The development of a tool for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of J...
183
Voted
SIGSOFT
2006
ACM
16 years 23 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...