2943 search results - page 366 / 589 » Software Implementation of Synchronous Programs |
230
click to vote
AVI
2000
15 years 4 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
166
Voted
JOOP
1998
15 years 2 months ago
1998
Design patterns have proven to be very useful for the design of object-oriented systems. The power of design patterns stems from their ability to provide generic solutions to reap...
131
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Data races are one of the most common and subtle causes of pernicious concurrency bugs. Static techniques for preventing data races are overly conservative and do not scale well t...
120
Voted
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
We briefly introduce the notion of Semantically Enhanced Library Languages, SELL, as a practical and economical alternative to special-purpose programming languages for high-perfo...
WWW
2010
ACM
15 years 10 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...