811 search results - page 50 / 163 » Probabilistic Semantics and Program Analysis |
128
Voted
IWMM
2009
Springer
15 years 9 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
138
Voted
FM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
222
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
152
Voted
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
127
click to vote
KBSE
1999
IEEE
15 years 6 months ago
1999
IEEE
The paper describes the initial results of applying Latent Semantic Analysis (LSA) to program source code and associated documentation. Latent Semantic Analysis is a corpus-based ...