2911 search results - page 353 / 583 » A Theory of Expressiveness in Mechanisms |
170
click to vote
OOPSLA
1995
Springer
15 years 5 months ago
1995
Springer
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
129
Voted
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
Recent studies of irregular applications such as finite-element mesh generators and data-clustering codes have shown that these applications have a generalized data parallelism ar...
108
click to vote
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
109
Voted
ICFP
2001
ACM
16 years 1 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
120
click to vote
MOBIHOC
2002
ACM
16 years 1 months ago
2002
ACM
This paper investigates two fundamental characteristics of a wireless multihop network: its minimum node degree and its k?connectivity. Both topology attributes depend on the spat...