2203 search results - page 179 / 441 » Temporal Abstract Interpretation |
326
click to vote
ICA
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. Missing data in corrupted audio recordings poses a challenging problem for audio signal processing. In this paper we present an approach that allows us to estimate missin...
251
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
119
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
136
click to vote
IFL
2004
Springer
15 years 9 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
146
Voted
ENTCS
2002
15 years 3 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...