3515 search results - page 637 / 703 » On the semantics of Strategy Logic |
185
click to vote
ICFP
2002
ACM
16 years 7 months ago
2002
ACM
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
197
Voted
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
— Many applications offer a form-based environment for na¨ıve users for accessing databases without being familiar with the database schema or a structured query language. User...
188
Voted
TLDI
2010
ACM
16 years 3 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
162
Voted
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
185
Voted
ACSC
2009
IEEE
16 years 1 months ago
2009
IEEE
Privacy is today an important concern for both data providers and data users. Data generalization can provide significant protection of an individual’s privacy, which means the...