4719 search results - page 166 / 944 » Newtonian program analysis |
121
Voted
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...
124
click to vote
JOT
2007
15 years 4 months ago
2007
Programs designed from scratch often start with just a set of classes. Classes can be instantiated and so deliver the objects that are the carriers of information and function. In...
136
click to vote
WCRE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...
141
click to vote
PPOPP
1993
ACM
15 years 8 months ago
1993
ACM
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...
135
Voted
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...