Caleb H. Priester

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 3

Top Topics

Logical Reasoning

Machine Processable

Learning Scenarios

Semantic Web Ontologies

Top Venues

Publications

Caleb H. Priester, Yu-Shan Sun, Murali Sitaraman
Tool-Assisted Loop Invariant Development and Analysis. CSEE&T (2016)
Caleb H. Priester
Loop Invariants: Learning to Help Teach (Abstract Only). SIGCSE (2016)
Nabil M. Kabbani, Daniel Welch, Caleb H. Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE. F-IDE (2015)