`Travelled to:`

1 × Iceland

1 × Italy

1 × Spain

3 × USA

`Collaborated with:`

F.Pfenning I.Zerny S.B.Cohen N.A.Smith N.E.Beckman A.V.Nori S.K.Rajamani

`Talks about:`

logic (5) program (3) algorithm (2) semant (2) linear (2) substructur (1) correspond (1) approxim (1) abstract (1) product (1)

## Person: Robert J. Simmons

### DBLP: Simmons:Robert_J=

### Contributed to:

### Wrote 6 papers:

- PPDP-2013-SimmonsZ #automaton #logic #semantics
- A logical correspondence between natural semantics and abstract machines (RJS, IZ), pp. 109–119.
- LICS-2009-PfenningS #logic programming #order #semantics
- Substructural Operational Semantics as Ordered Logic Programming (FP, RJS), pp. 101–110.
- PEPM-2009-SimmonsP #approximate #linear #logic
- Linear logical approximations (RJS, FP), pp. 9–20.
- ICALP-B-2008-SimmonsP #algorithm #linear #logic
- Linear Logical Algorithms (RJS, FP), pp. 336–347.
- ICLP-2008-CohenSS #algorithm #logic programming #source code
- Dynamic Programming Algorithms as Products of Weighted Logic Programs (SBC, RJS, NAS), pp. 114–129.
- ISSTA-2008-BeckmanNRS #proving #testing
- Proofs from tests (NEB, AVN, SKR, RJS), pp. 3–14.