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.

[BibT_eX]

[DOI]

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

2009

Compiler Optimization Pass Visualization: The Procedural Abstraction Case.

[BibT_eX]

[DOI]

Stefan Schäckeler

Weijia Shang

Ruth Davis

ACM Trans. Comput. Educ., 2009

2008

Visualization of Procedural Abstraction.

[BibT_eX]

[DOI]

Stefan Schäckeler

Weijia Shang

Ruth Davis

Proceedings of the Fifth Program Visualization Workshop, 2008

1997

A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program.

[BibT_eX]

Jinyun Xue

Ruth Davis

Softw. Concepts Tools, 1997

A Simple Program whose Derivation and Proof is Also.

[BibT_eX]

[DOI]

Jinyun Xue

Ruth Davis

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1995

Formal methods in the undergraduate computer science curriculum (abstract).

[BibT_eX]

[DOI]

Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

1974

Impermanent balance between man and computer.

[BibT_eX]

[DOI]

Ruth Davis

SIGART Newsl., 1974

Ruth Davis

Bibliography

Loading...