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 × France
1 × Germany
Collaborated with:
J.Berdine N.Piterman
Talks about:
approxim (2) analysi (2) subtract (1) backward (1) abstract (1) forward (1) recurr (1) under (1) set (1)

Person: Alexey Bakhirkin

DBLP DBLP: Bakhirkin:Alexey

Contributed to:

SAS 20152015
SAS 20142014

Wrote 2 papers:

SAS-2015-BakhirkinBP #analysis #set
A Forward Analysis for Recurrent Sets (AB, JB, NP), pp. 293–311.
SAS-2014-BakhirkinBP #abstraction #analysis #approximate
Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction (AB, JB, NP), pp. 34–50.

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.