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 × Spain
Collaborated with:
A.King J.M.Howe T.Schrijvers
Talks about:
theori (2) min (2) symmetri (1) decompil (1) datatyp (1) semant (1) recurs (1) ration (1) propag (1) driven (1)

Person: Edward Robbins

DBLP DBLP: Robbins:Edward

Contributed to:

PPDP 20132013
POPL 20162016
PPDP 20172017

Wrote 3 papers:

PPDP-2013-RobbinsHK
Theory propagation and rational-trees (ER, JMH, AK), pp. 193–204.
POPL-2016-RobbinsKS #data type #decompiler #recursion #semantics
From MinX to MinC: semantics-driven decompilation of recursive datatypes (ER, AK, TS), pp. 191–203.
PPDP-2017-HoweRK #learning #symmetry
Theory learning with symmetry breaking (JMH, ER, AK), pp. 85–96.
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.