BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Simmons:Robert_J=

Contributed to:

PPDP 20132013
LICS 20092009
PEPM 20092009
ICALP (2) 20082008
ICLP 20082008
ISSTA 20082008

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.