J. Stanley Warford

Publication Activity (10 Years)

Years Active: 1988-2020
Publications (10 Years): 1

Top Topics

Linear Temporal Logic

Bounded Model Checking

Top Venues

ACM Comput. Surv.

Publications

J. Stanley Warford, David Vega, Scott M. Staley
A Calculational Deductive System for Linear Temporal Logic. ACM Comput. Surv. 53 (3) (2020)
J. Stanley Warford, Chris Dimpfl
The pep/8 memory tracer: visualizing activation records on the run-time stack. SIGCSE (2010)
J. Stanley Warford, Ryan Okelberry
Pep8CPU: a programmable simulator for a central processing unit. SIGCSE (2007)
J. Stanley Warford
BlackBox: a new object-oriented framework for CS1/CS2. SIGCSE (1999)
J. Stanley Warford
An experience teaching formal methods in discrete mathematics. ACM SIGCSE Bull. 27 (3) (1995)
David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston
Teaching as a logic tool (abstract). SIGCSE (1995)
J. Stanley Warford
Good pedagogical random number generators. SIGCSE (1992)
J. Stanley Warford
Introductory computer science: the case for a unified view. SIGCSE (1988)