525 search results - page 14 / 105 » Static Interpretation of Modules |
SAS
1991
Springer
15 years 1 months ago
1991
Springer
Specializing programs by partial evaluation is well defined extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
Automatic facial expressions recognition using vision is an important subject towards human-robot interaction. Here is proposed a human face focus of attention technique and a faci...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Given a query on the PASCAL database maintained by the INIST, we design user interfaces to visualize and wo types of graphs extracted from abstracts: 1) the graph of all associati...
164
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
Transparent persistence promises to integrate programming languages and databases by allowing procedural programs to access persistent data with the same ease as non-persistent da...
82
Voted
CC
2002
Springer
14 years 9 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...