1623 search results - page 227 / 325 » Programming language concepts for software developers |
124
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
171
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
116
click to vote
BIRTHDAY
2000
Springer
15 years 7 months ago
2000
Springer
The Oberon programming language and system, subsequently called the Oberon technology, are well known in the software research community. Few applications, however, exist outside ...
118
click to vote
ICALT
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
100
click to vote
EICS
2009
ACM
15 years 9 months ago
2009
ACM
Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...