2881 search results - page 155 / 577 » Model Checking for Programming Languages using Verisoft |
144
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
127
Voted
ICFP
2004
ACM
16 years 5 months ago
2004
ACM
Higher-order languages that encourage currying are implemented using one of two basic evaluation models: push/enter or eval/apply. Implementors use their intuition and qualitative...
125
click to vote
SIGIR
2002
ACM
15 years 4 months ago
2002
ACM
We develop a method for predicting query performance by computing the relative entropy between a query language model and the corresponding collection language model. The resultin...
140
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
146
click to vote
ICTAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...