Sciweavers

3256 search results - page 63 / 652
» Mixin-Based Programming in C
Sort
View
SPAA
2009
ACM
16 years 6 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 ...
ICCL
1998
IEEE
15 years 10 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 10 months ago
Persistent Program Construction through Browsing and User Gesture with some Typing
Alex Farkas, Alan Dearle, Graham N. C. Kirby, Quin...
POS
1992
Springer
15 years 10 months ago
Persistent Hyper-Programs
Graham N. C. Kirby, Richard C. H. Connor, Quintin ...
POPL
2005
ACM
16 years 6 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