1483 search results - page 30 / 297 » Warnings for pattern matching |
ITP
2010
14 years 2 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...
SNPD
2003
14 years 9 days 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...
TAL
2010
Springer
13 years 9 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...
ICSM
2003
IEEE
14 years 4 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...
LATIN
1998
Springer
14 years 3 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...