Caleb H. Priester

According to our database, Caleb H. Priester authored at least 3 papers between 2015 and 2016.

Collaborative distances:

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

2016

Loop Invariants: Learning to Help Teach (Abstract Only).

Caleb H. Priester

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

Tool-Assisted Loop Invariant Development and Analysis.

Caleb H. Priester, Yu-Shan Sun, Murali Sitaraman

Proceedings of the 29th IEEE International Conference on Software Engineering Education and Training, 2016

2015

Formal Reasoning Using an Iterative Approach with an Integrated Web IDE.

Nabil M. Kabbani, Daniel Welch, Caleb H. Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman

Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015