1052 search results - page 177 / 211 » Foundations for Virtual Types |
FCT
2005
Springer
14 years 2 months ago
2005
Springer
Leftist grammars can be characterized in terms of rules of the form a → ba and cd → d, without distinction between terminals and nonterminals. They were introduced by Motwani e...
NIME
2005
Springer
14 years 2 months ago
2005
Springer
When learning a classical instrument, people often either take lessons in which an existing body of “technique” is delivered, evolved over generations of performers, or in som...
TGC
2005
Springer
14 years 2 months ago
2005
Springer
Dynamic rebinding is the ability of changing the definitions of names at execution time. While dynamic rebinding is clearly useful in practice, and increasingly needed in modern s...
ECOOP
2004
Springer
14 years 2 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
ICCS
2004
Springer
14 years 2 months ago
2004
Springer
QuickSet [6] is a multimodal system that gives users the capability to create and control map-based collaborative interactive simulations by supporting the simultaneous input from ...