2947 search results - page 32 / 590 » Analyzing Program Analyses |
MM
2010
ACM
14 years 9 months ago
2010
ACM
Sonic Visualiser is a friendly and flexible end-user desktop application for analysis, visualisation, and annotation of music audio files. Its stated goal is to be “the first...
96
Voted
TAPSOFT
1995
Springer
15 years 2 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...
BMCBI
2008
14 years 11 months ago
2008
Background: The availability of complete genomic sequences for hundreds of organisms promises to make obtaining genome-wide estimates of substitution rates, selective constraints ...
91
Voted
VMCAI
2012
Springer
13 years 6 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
79
Voted
APLAS
2005
ACM
15 years 4 months ago
2005
ACM