Sciweavers

3473 search results - page 300 / 695
» Aspect-Oriented Programming with C
Sort
View
TCS
2008
15 years 6 months ago
Lambda calculus with patterns
The -calculus is an extension of the -calculus with a pattern matching facility. The form of the argument of a function can be speci ed and hence -calculus is more convenient than...
Jan Willem Klop, Vincent van Oostrom, Roel C. de V...
CCR
2004
74views more  CCR 2004»
15 years 6 months ago
Unveiling the transport
Traditional application programming interfaces for transport protocols make a virtue of hiding most internal per-connection state. We argue that this informationhiding precludes m...
Jeffrey C. Mogul, Lawrence S. Brakmo, David E. Low...
INFSOF
2002
78views more  INFSOF 2002»
15 years 6 months ago
Flow insensitive points-to sets
Pointer analysis is an important part of source code analysis. Many programs that manipulate source code take points-to sets as part of their input. Points-to related data collect...
Paul Anderson, David Binkley, Genevieve Rosay, Tim...
SIGCSE
2002
ACM
185views Education» more  SIGCSE 2002»
15 years 6 months ago
Computer science accessibility for students with visual disabilities
Students with visual disabilities face unique challenges in learning to be computer scientists. These challenges can be overcome, however, with the use of specialized software too...
Joan M. Francioni, Ann C. Smith
188
Voted
SIAMREV
2010
181views more  SIAMREV 2010»
15 years 1 months ago
A Variational Approach to Copositive Matrices
This work surveys essential properties of the so-called copositive matrices, the study of which is spread over more than fifty-five years. Special emphasis is given to variational ...
Jean-Baptiste Hiriart-Urruty, Alberto Seeger