1483 search results - page 30 / 297 » Warnings for pattern matching |
150
Voted
ITP
2010
15 years 9 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
171
Voted
SNPD
2003
15 years 6 months ago
2003
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms in so-called direct mode. In a directmode BSP algorithm...
165
click to vote
TAL
2010
Springer
15 years 3 months ago
2010
Springer
Answering email by standard answers is a common practice at contact centers. Our research assists this process by creating reply messages that contain one or several standard answe...
161
Voted
ICSM
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper is a summary of the author’s thesis that presents a model and an environment for recovering the high level design of legacy software systems based on user defined ar...
150
Voted
LATIN
1998
Springer
15 years 9 months ago
1998
Springer
We address the problem of approximate string matching in two dimensions, that is, to nd a pattern of size m m in a text of size n n with at most k errors (substitutions, insertions...