4719 search results - page 185 / 944 » Newtonian program analysis |
130
click to vote
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
102
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...
157
click to vote
SOFTWARE
2011
14 years 11 months ago
2011
—In the multicore era, a major programming task will be to make programs more parallel. This is tedious because it requires changing many lines of code, and it is error-prone and...
184
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
232
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...