2496 search results - page 126 / 500 » Error-detecting properties of languages |
ECOOP
2000
Springer
15 years 5 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
89
Voted
BIRTHDAY
1997
Springer
15 years 5 months ago
1997
Springer
We study a Lindenmayer-like parallel rewriting system to model the growth of filaments (arrays of cells) in which developmental errors may occur. In essence this model is the fuzz...
104
click to vote
ERCIMDL
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...
112
Voted
EELC
2006
15 years 4 months ago
2006
Research into the evolution of grammar requires that we employ formalisms and processing mechanisms that are powerful enough to handle features found in human natural languages. Bu...
111
click to vote
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...