An operational semantics and type safety proof for multiple inheritance in C++
- Daniel Wasserrab
- Tobias Nipkow
- et al.
- 2006
- ACM SIGPLAN Notices
Paper
Publications
185 results at ACM SIGPLAN Notices
The DaCapo benchmarks: Java benchmarking development and analysis
- Stephen M. Blackburn
- Robin Garner
- et al.
- 2006
- ACM SIGPLAN Notices
PaperEfficient control flow quantification
- Christoph Bockisch
- Sebastian Kanthak
- et al.
- 2006
- ACM SIGPLAN Notices
PaperbiXid: A bidirectional transformation language for XML
- Shinya Kawanaka
- Haruo Hosoya
- 2006
- ACM SIGPLAN Notices
PaperCorrectness-preserving derivation of concurrent garbage collection algorithms
- Martin T. Vechev
- Eran Yahav
- et al.
- 2006
- ACM SIGPLAN Notices
PaperShared memory programming for large scale machines
- Christopher Bartont
- Cǎlin Caşcaval
- et al.
- 2006
- ACM SIGPLAN Notices
PaperAuto-vectorization of interleaved data for SIMD
- Dorit Nuzman
- Ira Rosen
- et al.
- 2006
- ACM SIGPLAN Notices
PaperEventrons: A safe programming construct for high-frequency hard real-time applications
- Daniel Spoonhower
- Joshua Auerbach
- et al.
- 2006
- ACM SIGPLAN Notices
PaperProfile-based global live-range splitting
- Takuya Nakaike
- Tatsushi Inagaki
- et al.
- 2006
- ACM SIGPLAN Notices
PaperAccurate, efficient, and adaptive calling context profiling
- Xiaotong Zhuang
- Mauricio J. Serrano
- et al.
- 2006
- ACM SIGPLAN Notices
Paper