341 search results - page 29 / 69 » Formal Grammars of Early Language |
145
click to vote
DANCE
2002
IEEE
15 years 4 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
We present the derivation of a space efficient parser combinator library: the constructed parsers do not keep unnecessary references to the input, produce online results and effic...
SAS
1999
Springer
15 years 3 months ago
1999
Springer
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...
115
click to vote
JSW
2007
14 years 11 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
LACL
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...