94 search results - page 9 / 19 » Extracting a Data Flow Analyser in Constructive Logic |
108
click to vote
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...
ANLP
1992
15 years 27 days ago
1992
This paper briefly describes the current implementation status of an intelligent information retrieval system, MARIE, that employs natural language processing techniques. Descript...
104
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: The extraction of biological knowledge from genome-scale data sets requires its analysis in the context of additional biological information. The importance of integra...
105
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
AGP
1998
IEEE
15 years 3 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...