4719 search results - page 311 / 944 » Newtonian program analysis |
211
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
Big data is the tar sands of the data world: vast reserves of raw gritty data whose valuable information content can only be extracted at great cost. MapReduce is a popular parall...
279
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
313
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...
172
click to vote
PEPM
2009
ACM
15 years 11 months ago
2009
ACM
A requirement of any source language is to be rich in features and concise to use by the programmers. As a drawback, it is often too complex to analyse, causing research studies t...
170
click to vote
KBSE
2007
IEEE
16 years 26 days ago
2007
IEEE
The proposed research defines an approach to combine Information Retrieval based analysis of the textual information embedded in software artifacts with program static and dynamic...