4008 search results - page 508 / 802 » An expressive language of signatures |
189
click to vote
ECOOP
2004
Springer
16 years 2 days ago
2004
Springer
Programmers have come to expect better integration between databases and the programming languages they use. While this trend continues unabated, database concurrency scheduling ha...
174
click to vote
ESOP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
166
click to vote
GG
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...
181
click to vote
GI
2004
Springer
16 years 2 days ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
163
click to vote
ISOLA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...