525 search results - page 5 / 105 » Static Interpretation of Modules |
SIGSOFT
2011
ACM
13 years 5 months ago
2011
ACM
LFP
1990
14 years 1 days ago
1990
AGP
1993
IEEE
14 years 3 months ago
1993
IEEE
Abstract. This paper presents a general approach to the Abstract Interpretation of Prolog programs with cut. In most of previous approaches the cut primitive is merely ignored. Our...
IAT
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper presents a general architecture towards a more generic approach to conversational agents. Our architecture contains generic (in sense of application independent) natura...
EMSOFT
2006
Springer
14 years 2 months ago
2006
Springer
In-situ reconfiguration of software is indispensable in embedded networked sensing systems. It is required for re-tasking a deployed network, fixing bugs, introducing new features...