1689 search results - page 225 / 338 » Refining abstract interpretations |
146
click to vote
RTA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
140
click to vote
UIALL
2004
Springer
15 years 9 months ago
2004
Springer
At present, various types of car navigation systems are progressively entering the market. Simultaneously, mobile outdoor navigation systems for pedestrians and electronic tourist ...
112
click to vote
ICALT
2003
IEEE
15 years 9 months ago
2003
IEEE
Analysis of collaborative problem solving involves analysis of dialogue and interaction, analysis of tasks and social roles through ethnographic and other field studies. Use of to...
138
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
137
click to vote
TPHOL
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...