811 search results - page 52 / 163 » Probabilistic Semantics and Program Analysis |
142
click to vote
MM
2004
ACM
15 years 8 months ago
2004
ACM
In this paper, we present a novel approach for music structure analysis. A new segmentation method, beat space segmentation, is proposed and used for music chord detection and voc...
149
Voted
IFIPTCS
2010
15 years 14 days ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
108
Voted
ASWEC
2008
IEEE
15 years 4 months ago
2008
IEEE
Automatic identification of software faults has enormous practical significance. This requires characterizing program execution behavior. Equally important is the aspect of diagno...
255
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive. Two major a...
104
click to vote
IPL
2007
15 years 2 months ago
2007
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...