5804 search results - page 307 / 1161 » Doing more with less |
185
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
208
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
152
Voted
SIGCSE
1997
ACM
15 years 11 months ago
1997
ACM
When teaching a course in compiler design, it is conventional to introduce the iterative calculation of least fixed points quite late in the course, in the guise of iterative dat...
150
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
We present a detailed study of two inverse consistencies for non-binary constraints: relational path inverse consistency (rel PIC) and pairwise inverse consistency (PWIC). These ar...
157
click to vote
HUC
2000
Springer
15 years 10 months ago
2000
Springer
Current tools do not provide adequate support to users for handling reminders. The main reason for this is the lack of use of rich context that specifies when a reminder should be ...