Sciweavers

3256 search results - page 63 / 652
» Mixin-Based Programming in C
Sort
View
131
Voted
SPAA
2009
ACM
16 years 3 months ago
Towards transactional memory semantics for C++
Transactional memory (TM) eliminates many problems associated with lock-based synchronization. Over recent years, much progress has been made in software and hardware implementati...
Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert ...
93
Voted
ICCL
1998
IEEE
15 years 6 months ago
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...
POS
1992
Springer
15 years 6 months ago
Persistent Hyper-Programs
Graham N. C. Kirby, Richard C. H. Connor, Quintin ...
POPL
2005
ACM
16 years 2 months ago
A bisimulation for type abstraction and recursion
traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania
Eijiro Sumii, Benjamin C. Pierce