215 search results - page 8 / 43 » Pattern Matching in Order-Sorted Languages |
104
click to vote
PPDP
2010
Springer
14 years 10 months ago
2010
Springer
We show how to achieve typed and unambiguous declarative pattern matching on strings using regular expressions extended with a simple recording operator. We give a characterizatio...
101
click to vote
ICSM
2003
IEEE
15 years 5 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...
ECOOP
2007
Springer
15 years 5 months ago
2007
Springer
Data in object-oriented programming is organized in a hierarchy of classes. The problem of object-oriented pattern matching is how to explore this hierarchy from the outside. This ...
117
click to vote
CHB
2010
14 years 6 months ago
2010
Interaction design patterns are a proven way to communicate good design. However, current pattern collections are not sufficiently powerful and generative to be used as a guide fo...
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...