6740 search results - page 402 / 1348 » Using Classification as a Programming Language |
109
Voted
ENTCS
2002
15 years 3 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...
227
click to vote
SIGMOD
2006
ACM
16 years 3 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 ...
117
Voted
VL
2006
IEEE
15 years 9 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 ...
156
Voted
LICS
2007
IEEE
15 years 10 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...
141
Voted
IPPS
1997
IEEE
15 years 8 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...