759 search results - page 8 / 152 » Overlap-Free Regular Languages |
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents our compilation strategy to produce efficient code for pattern matching in the CDuce compiler, taking into account static information provided by the type syst...
FCT
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
STOC
2005
ACM
14 years 8 months ago
2005
ACM
CAI
2009
Springer
14 years 3 months ago
2009
Springer
STACS
2007
Springer
14 years 2 months ago
2007
Springer