645 search results - page 75 / 129 » Pure patterns type systems |
160
click to vote
ECOOP
1998
Springer
15 years 4 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
102
click to vote
EUROCAST
2001
Springer
15 years 4 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
IRREGULAR
1997
Springer
15 years 4 months ago
1997
Springer
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...
123
click to vote
CIARP
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Parallel texts are enriched by alignment algorithms, thus establishing a relationship between the structures of the implied languages. Depending on the alignment level, t...
102
click to vote
WWW
2006
ACM
16 years 16 days ago
2006
ACM
Internet traffic is bursty and network servers are often overloaded with surprising events or abnormal client request patterns. This paper studies a load shedding mechanism called...