The partial metrics system: modeling the stepwise refinement process using partial metrics
Communications of the ACM
Approaching classical algorithms in APL2
APL '93 Proceedings of the international conference on APL
Garbage Collection of Linked Data Structures
ACM Computing Surveys (CSUR)
Variations on the binary buddy system for dynamic memory management
ACM-SE 18 Proceedings of the 18th annual Southeast regional conference
An approach to software design documentation
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Teaching algorithms and data structures: 10 personal observations
Computer Science in Perspective
Hi-index | 0.02 |