3473 search results - page 239 / 695 » Aspect-Oriented Programming with C |
POS
1989
Springer
15 years 8 months ago
1989
Springer
ro, D.S. “The Persistent Abstract Machine Version 10 / Napier88 (Release 2.0)”. Universities of St Andrews and Adelaide (1994).
119
click to vote
ICFP
2007
ACM
15 years 8 months ago
2007
ACM
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...
126
click to vote
ICALP
2009
Springer
15 years 8 months ago
2009
Springer
Intuitively, Braess's paradox states that destroying a part of a network may improve the common latency of selfish flows at Nash equilibrium. Such a paradox is a pervasive phe...
130
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...
149
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This article examines rules of style for text, graphics, and mathematics and applies these rules to spreadsheets. The article describes the new style in detail with an example and...