6740 search results - page 402 / 1348 » Using Classification as a Programming Language |
164
click to vote
ENTCS
2002
15 years 7 months ago
2002
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
324
Voted
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a ...
182
click to vote
VL
2006
IEEE
16 years 1 months ago
2006
IEEE
We report on a field study about how software developers experience disorientation when using the Eclipse Java integrated development environment. We analyzed the data using the ...
224
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
202
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a generalized forall statement for parallel languages. The forall statement occurs in many (data) parallel languages and specifies which computations can...