10666 search results - page 1420 / 2134 » Quantum programming languages |
170
Voted
ESOP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
177
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
We present a simple algorithmic extension of the classical call-strings approach to mitigate substantial performance degradation caused by spurious interprocedural cycles. Spuriou...
324
click to vote
VL
2008
IEEE
16 years 1 months ago
2008
IEEE
An important part of many programming tasks is the use of libraries and other forms of Application Programming Interfaces (APIs). Programming via web services using a Service-Orie...
189
Voted
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are ...
194
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Although one of the main promises of aspect-oriented (AO) programming techniques is to promote better software changeability than objectoriented (OO) techniques, there is no empiri...