918 search results - page 138 / 184 » An Aspect Language for Robust Programming |
ICFP
2004
ACM
14 years 8 months ago
2004
ACM
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive higher-...
SIGMOD
2005
ACM
14 years 9 months ago
2005
ACM
There has been an information explosion in fields of science such as high energy physics, astronomy, environmental sciences and biology. There is a critical need for automated sys...
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
VL
2007
IEEE
14 years 3 months ago
2007
IEEE
Although there have been a number of studies of end-user software development tasks, few of them have considered gender issues for real end-user developers in real-world environme...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...