Found 4 Documents (Results 1–4)
Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code. (English) Zbl 1215.68059
A general technique for proving lock-freedom. (English) Zbl 1157.68024
MSC:
68N19
Filter Results by …
all
top 5
Author
- Carette, Jacques (1)
- Colvin, Robert J. (1)
- Dongol, Brijesh (1)
- Greenhouse, Aaron (1)
- Halloran, T. J. (1)
- Jalili, Saeed (1)
- Khakpour, Narges (1)
- Kiselyov, Oleg (1)
- Mousavi, Mohammadreza (1)
- Scherlis, William L. (1)
- Sirjani, Marjan (1)
- Talcott, Carolyn L. (1)
Volume
- 78, No. 1 (2012) (1)
- 76, No. 5 (2011) (1)
- 74, No. 3 (2009) (1)
- 58, No. 3 (2005) (1)
Main Field
- 68-XX (4)