4716 search results - page 716 / 944 » Iterative-free program analysis |
117
Voted
WIA
1997
Springer
15 years 8 months ago
1997
Springer
We show how LR parsers for the analysis of arbitrary context-free grammars can be derived from classical Earley's parsing algorithm. The result is a Generalized LR parsing al...
155
click to vote
VISSYM
2007
15 years 7 months ago
2007
We present a set of techniques and design principles for the visualization of large dynamic software logs consisting of attributed change events, such as obtained from instrumenti...
133
click to vote
AAAI
2007
15 years 7 months ago
2007
We propose a novel kernel regression algorithm which takes into account order preferences on unlabeled data. Such preferences have the form that point x1 has a larger target value...
134
Voted
WSC
2008
15 years 7 months ago
2008
Design Of Experiments (DOE) is needed for experiments with real-life systems, and with either deterministic or random simulation models. This contribution discusses the different ...
144
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...