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.Finkbeiner R.Piskac M.Santolucito
Talks about:
synthesi (2) function (1) synthes (1) reactiv (1) program (1) tempor (1) stream (1) beyond (1) logic (1) bound (1)

Person: Felix Klein 0001

DBLP DBLP: 0001:Felix_Klein

Contributed to:

Haskell 20192019
CAV (1) 20162016
CAV (1) 20192019

Wrote 3 papers:

Haskell-2019-Finkbeiner0PS #functional #source code
Synthesizing functional reactive programs (BF, FK0, RP, MS), pp. 162–175.
CAV-2016-FinkbeinerK #bound #synthesis
Bounded Cycle Synthesis (BF, FK0), pp. 118–135.
CAV-2019-Finkbeiner0PS #logic #synthesis
Temporal Stream Logic: Synthesis Beyond the Bools (BF, FK0, RP, MS), pp. 609–629.

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.