3889 search results - page 62 / 778 » The Use of Program Dependence Graphs in Software Engineering |
98
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program devel...
141
Voted
IFL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
114
Voted
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
119
click to vote
WCRE
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes ongoing work toward the development of a standard software exchange format (SEF), for exchanging information among tools that analyze computer programs. A par...
139
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
bstract, rather than through examples. I’d like to see the ability to demonstrate examples in concrete situations, have the system record them, and generalize them to yield a pro...