7430 search results - page 552 / 1486 » Programming Applications in CIFF |
170
click to vote
KBSE
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper presents an application framework in which declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs. Th...
183
Voted
SIGCSE
1998
ACM
15 years 11 months ago
1998
ACM
We present a series of programming exercises that use scaling as a theme for teaching design techniques in the introductory computer science course sequence. All exercises are on ...
185
click to vote
OOGRAPHICS
1994
15 years 11 months ago
1994
class of general differentiable curves and surfaces and in turn refine this design to various parametric representations of curves and surfaces. This design includes all of the sta...
158
click to vote
POPL
1994
ACM
15 years 11 months ago
1994
ACM
We present a new incremental algorithm for the problem of maintaining the dominator tree of a reducible flowgraph as the flowgraph undergoes changes such as the insertion and dele...
140
click to vote
ICCL
1992
IEEE
15 years 11 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...