767 search results - page 140 / 154 » Logic for Mathematical Writing |
303
click to vote
PLDI
2009
ACM
16 years 6 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
161
click to vote
TOOLS
2009
IEEE
16 years 20 days ago
2009
IEEE
Single inheritance often forces developers to duplicate code and logic. This widely recognized situation affects both business code and tests. In a large and complex application w...
171
click to vote
OOPSLA
2009
Springer
16 years 14 days ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
178
click to vote
SIGMETRICS
2009
ACM
16 years 13 days ago
2009
ACM
Flash Memory based Solid State Drive (SSD) has been called a “pivotal technology” that could revolutionize data storage systems. Since SSD shares a common interface with the t...
185
click to vote
VEE
2006
ACM
15 years 12 months ago
2006
ACM
Many fault-tolerant and intrusion-tolerant systems require the ability to execute unsafe programs in a realistic environment without leaving permanent damages. Virtual machine tec...