2343 search results - page 344 / 469 » Structure and Interpretation of Computer Programs |
128
click to vote
ISSTA
2000
ACM
15 years 9 months ago
2000
ACM
This paper presents a strategy for structural testing of objectoriented software systems with possibly unknown clients and unknown information about invoked methods. By exploiting...
130
Voted
ECOOPW
1999
Springer
15 years 9 months ago
1999
Springer
Aspect-Oriented Programming (AOP) has been considered ing abstraction principle to reduce the problem of code tangling and make software structure clean and configurable. This pap...
121
Voted
CHI
1997
ACM
15 years 9 months ago
1997
ACM
Music is a rich communication medium, and there are some similarities between the job of a music composer and that of an HCI designer (although their objectives may be different)....
122
click to vote
EDCC
1994
Springer
15 years 9 months ago
1994
Springer
A new control flow checking scheme, based on assigned-signature checking by a watchdog processor, is presented. This scheme is suitable for a multitasking, multiprocessor environme...
176
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...