223 search results - page 19 / 45 » Essential language support for generic programming |
106
click to vote
AOSD
2003
ACM
15 years 5 months ago
2003
ACM
There are two important points of view on inclusion or subtype polymorphism in object-oriented programs, namely polymorphic access and dynamic dispatch. These features are essenti...
102
click to vote
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
Exploiting thread level parallelism is paramount in the multi-core era. Transactions enable programmers to expose such parallelism by greatly simplifying the multi-threaded progra...
VL
2003
IEEE
15 years 5 months ago
2003
IEEE
Learning to program can be very hard. Without an existing background in the subject and without adequate resources, students, especially women, may find themselves experiencing m...
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
MEMOCODE
2003
IEEE
15 years 5 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...