Volgen
Robert J. Simmons
Robert J. Simmons
Geverifieerd e-mailadres voor cs.cmu.edu
Titel
Geciteerd door
Geciteerd door
Jaar
Proofs from tests
NE Beckman, AV Nori, SK Rajamani, RJ Simmons
Proceedings of the 2008 international symposium on Software testing and …, 2008
2202008
Structural focalization
RJ Simmons
ACM Transactions on Computational Logic (TOCL) 15 (3), 1-33, 2014
642014
Substructural operational semantics as ordered logic programming
F Pfenning, RJ Simmons
2009 24th Annual IEEE Symposium on Logic In Computer Science, 101-110, 2009
582009
Substructural Logical Specifications
RJ Simmons
Carnegie Mellon University, 2012
392012
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
322008
Linear logical algorithms
RJ Simmons, F Pfenning
Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008
312008
Dynamic programming algorithms as products of weighted logic programs
SB Cohen, RJ Simmons, NA Smith
International conference on logic programming, 114-129, 2008
212008
Products of weighted logic programs
SB Cohen, RJ Simmons, NA Smith
Theory and Practice of Logic Programming 11 (2-3), 263-296, 2011
172011
Relating reasoning methodologies in linear logic and process algebra
Y Deng, RJ Simmons, I Cervesato
Mathematical Structures in Computer Science 26 (5), 868-906, 2016
162016
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
142009
Linear logical approximations
RJ Simmons, F Pfenning
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and …, 2009
122009
Weak focusing for ordered linear logic
RJ Simmons, F Pfenning
Technical Report CMU-CS-10-147, Carnegie Mellon University, 2011
112011
Logical approximation for program analysis
RJ Simmons, F Pfenning
Higher-Order and Symbolic Computation 24 (1), 41-80, 2011
92011
Constructive provability logic
RJ Simmons, B Toninho
arXiv preprint arXiv:1205.6402, 2012
72012
Twelf as a unified framework for language formalization and implementation
R Simmons
Undergraduate honors thesis, Princeton University, 2005
72005
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
62012
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
42011
Profile Luis von Ahn: ReCaptcha, games with a purpose
RJ Simmons
XRDS: Crossroads, The ACM Magazine for Students 17 (2), 49-49, 2010
42010
Mechanized metatheory for user-defined type extensions
D Marino, B Chin, T Millstein, G Tan, RJ Simmons, D Walker
ACM SIGPLAN Workshop on Mechanizing Metatheory, 2006
42006
Principles of constructive provability logic
RJ Simmons, B Toninho
Technical Report CMU-CS-10-151, School of Computer Science, Carnegie Mellon …, 2010
32010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20