672 search results - page 10 / 135 » On the Expressive Power of the Loop Language |
106
click to vote
TYPES
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
112
Voted
SBCCI
2006
ACM
15 years 7 months ago
2006
ACM
This paper presents a transistor optimization methodology for low-power analog integrated CMOS circuits, relying on the physics-based gm/ID characteristics as a design optimizatio...
120
click to vote
ASPLOS
1992
ACM
15 years 6 months ago
1992
ACM
: In scalable parallel machines, processors can make local memory accesses much faster than they can make remote memory accesses. In addition, when a number of remote accesses must...
112
click to vote
ICESS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for desig...
109
click to vote
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take ...