1401 search results - page 26 / 281 » Tool Integration for Reasoned Programming |
146
click to vote
IJSC
2008
15 years 5 months ago
2008
ifferent abstraction levels, resulting in isolated `information silos'. An increasing number of task-specific software tools aim to support developers, but this often results ...
200
click to vote
SIGSOFT
2006
ACM
15 years 12 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
172
click to vote
ICCBR
1999
Springer
15 years 10 months ago
1999
Springer
Software programming is a complex task. To help the user with this task, we are developing a case-based reasoning tool capable of suggesting code to the programmer (software reuse...
172
click to vote
TCS
2008
15 years 5 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
149
click to vote
LPNMR
1995
Springer
15 years 9 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...