1095 search results - page 15 / 219 » Algebraic Guide Generation |
121
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
148
Voted
GI
2009
Springer
15 years 4 days ago
2009
Springer
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...
104
click to vote
ACL
2007
15 years 3 months ago
2007
We present a general framework to incorporate prior knowledge such as heuristics or linguistic features in statistical generative word alignment models. Prior knowledge plays a ro...
351
Voted
Book
"This document explains how to construct a compiler using lex and yacc. Lex and yacc are tools used to generate lexical analyzers and parsers. I assume you can program in C, a...
128
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...