J. Stanley Warford

According to our database, J. Stanley Warford authored at least 9 papers between 1988 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

A Calculational Deductive System for Linear Temporal Logic.

J. Stanley Warford, David Vega, Scott M. Staley

ACM Comput. Surv., 2021

2010

The pep/8 memory tracer: visualizing activation records on the run-time stack.

J. Stanley Warford, Chris Dimpfl

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

2007

Pep8CPU: a programmable simulator for a central processing unit.

J. Stanley Warford, Ryan Okelberry

Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

2005

Computer systems, 3rd Edition.

J. Stanley Warford

Jones and Bartlett Publishers, ISBN: 978-0-7637-3239-4, 2005

1999

BlackBox: a new object-oriented framework for CS1/CS2.

J. Stanley Warford

Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

1995

An experience teaching formal methods in discrete mathematics.

J. Stanley Warford

ACM SIGCSE Bull., 1995

Teaching as a logic tool (abstract).

David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston

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

1992

Good pedagogical random number generators.

J. Stanley Warford

Proceedings of the 23rd SIGCSE Technical Symposium on Computer Science Education, 1992

1988

Introductory computer science: the case for a unified view.

J. Stanley Warford

Proceedings of the 19th SIGCSE Technical Symposium on Computer Science Education, 1988