Ruth Davis

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2014
Recruit and retain women in undergraduate computing: success stories using research-based practices.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

2009
Compiler Optimization Pass Visualization: The Procedural Abstraction Case.
ACM Trans. Comput. Educ., 2009

2008
Visualization of Procedural Abstraction.
Proceedings of the Fifth Program Visualization Workshop, 2008

1997
A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program.
Softw. Concepts Tools, 1997

A Simple Program whose Derivation and Proof is Also.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1995
Formal methods in the undergraduate computer science curriculum (abstract).
Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

1974
Impermanent balance between man and computer.
SIGART Newsl., 1974


  Loading...