1147 search results - page 165 / 230 » Termination in language-based systems |
138
click to vote
LRE
2002
15 years 5 months ago
2002
Users need more sophisticated tools to handle the growing number of image-based documents available in databases. In this paper, we present a system devoted to the editing and bro...
140
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
Video surveillance systems produce huge amounts of data for storage and display. Long-term human monitoring of the acquired video is impractical and ineffective. Automatic abnorma...
259
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...
272
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
162
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...