3889 search results - page 310 / 778 » The Use of Program Dependence Graphs in Software Engineering |
143
Voted
PPPJ
2003
ACM
15 years 10 months ago
2003
ACM
We describe a system to improve the quality of feedback provided to an Introductory Programming course. The system uses web technology to create a graphical tool that the tutors c...
162
Voted
CASCON
1993
15 years 6 months ago
1993
There is a signi cant di erence between documentinglarge programs and documenting small ones. By large programs we mean on the order of 1,000,000 lines, usually written by many di...
159
click to vote
FASE
2006
Springer
15 years 8 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
130
click to vote
CODES
2006
IEEE
15 years 11 months ago
2006
IEEE
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...
150
Voted
TACS
1994
Springer
15 years 9 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...