1162 search results - page 69 / 233 » Monotonic Semantic Interpretation |
POPL
1997
ACM
15 years 2 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
PEPM
1991
ACM
15 years 2 months ago
1991
ACM
This is a follow-on to my 1988PLDIpaper, “Control-Flow Analysis e”[9]. Iusethe methodofabstractsemanticinterpretations to explicate the control-flow analysis technique presen...
ICALT
2007
IEEE
15 years 23 days ago
2007
IEEE
Semantic web is an emerging paradigm that has great potential for the management of web content in a meaningful manner. With more and more semantic information appended to web, th...
POPL
2012
ACM
13 years 6 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
ECCV
2004
Springer
16 years 26 days ago
2004
Springer
We propose a multiple classifier system approach to object recognition in computer vision. The aim of the approach is to use multiple experts successively to prune the list of cand...