Robert J. Simmons
Cited by
Cited by
Proofs from tests
NE Beckman, AV Nori, SK Rajamani, RJ Simmons, SD Tetali, AV Thakur
IEEE Transactions on Software Engineering 36 (4), 495-508, 2010
Substructural operational semantics as ordered logic programming
F Pfenning, RJ Simmons
2009 24th Annual IEEE Symposium on Logic In Computer Science, 101-110, 2009
Structural focalization
RJ Simmons
ACM Transactions on Computational Logic (TOCL) 15 (3), 1-33, 2014
Substructural Logical Specifications
RJ Simmons
Carnegie Mellon University, 2012
Linear logical algorithms
RJ Simmons, F Pfenning
International Colloquium on Automata, Languages, and Programming, 336-347, 2008
SASyLF: An educational proof assistant for language theory
J Aldrich, RJ Simmons, K Shin
Proceedings of the 2008 international workshop on Functional and declarative …, 2008
Dynamic programming algorithms as products of weighted logic programs
SB Cohen, RJ Simmons, NA Smith
International Conference on Logic Programming, 114-129, 2008
Linear logical approximations
RJ Simmons, F Pfenning
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and …, 2009
Relating reasoning methodologies in linear logic and process algebra
Y Deng, I Cervesato, RJ Simmons
arXiv preprint arXiv:1211.4100, 2012
Generation and evaluation of test cases for software validation and proofs
AV Nori, SK Rajamani, RJ Simmons, N Beckman
US Patent App. 12/115,633, 2009
Logical approximation for program analysis
RJ Simmons, F Pfenning
Higher-Order and Symbolic Computation 24 (1-2), 41-80, 2011
Weak focusing for ordered linear logic
RJ Simmons, F Pfenning
Technical Report CMU-CS-2011-147, Department of Computer Science, Carnegie …, 2011
Products of weighted logic programs
SB Cohen, RJ Simmons, NA Smith
arXiv preprint arXiv:1006.3035, 2010
Twelf as a unified framework for language formalization and implementation
R Simmons
Undergraduate honors thesis, Princeton University, 2005
A probabilistic logic for multi-source heterogeneous information fusion
TC Henderson, R Simmons, D Sacharny, A Mitiche, X Fan
2017 IEEE International Conference on Multisensor Fusion and Integration for …, 2017
A preliminary study of probabilistic argumentation
TC Henderson, A Mitiche, R Simmons, X Fan
Technical Report UUCS-17-001, University of Utah, 2017
Trace matching in a concurrent logical framework
I Cervesato, F Pfenning, JL Sacchini, C Schürmann, RJ Simmons
Proceedings of the seventh international workshop on Logical frameworks and …, 2012
Constructive provability logic
RJ Simmons, B Toninho
arXiv preprint arXiv:1205.6402, 2012
BRECCIA: A novel multi-source fusion framework for dynamic geospatial data analysis
D Sacharny, TC Henderson, R Simmons, A Mitiche, T Welker, X Fan
2017 IEEE International Conference on Multisensor Fusion and Integration for …, 2017
Distributed deductive databases, declaratively: The L10 logic programming language
RJ Simmons, B Toninho, F Pfenning
Proceedings of the 2011 ACM SIGPLAN X10 Workshop, 1-6, 2011
The system can't perform the operation now. Try again later.
Articles 1–20