BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
B.Scholz P.Subotic T.Westmann
Talks about:
program (2) synthesi (1) soufflé (1) datalog (1) analysi (1) analyz (1) scale (1) larg (1) fast (1)

Person: Herbert Jordan

DBLP DBLP: Jordan:Herbert

Contributed to:

CC 20162016
CAV (2) 20162016

Wrote 2 papers:

CC-2016-ScholzJSW #datalog #on the #performance #program analysis #scalability
On fast large-scale program analysis in Datalog (BS, HJ, PS, TW), pp. 196–206.
CAV-2016-JordanSS #named #synthesis
Soufflé: On Synthesis of Program Analyzers (HJ, BS, PS), pp. 422–430.

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.