BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Japan
1 × USA
Collaborated with:
Talks about:
control (2) analysi (2) flow (2) pushdown (1) approach (1) multipl (1) continu (1) context (1) stack (1) order (1)

Person: Dimitrios Vardoulakis

DBLP DBLP: Vardoulakis:Dimitrios

Contributed to:

ICFP 20112011
PEPM 20112011
ESOP 20102010

Wrote 3 papers:

ICFP-2011-VardoulakisS #analysis #automaton
Pushdown flow analysis of first-class control (DV, OS), pp. 69–80.
PEPM-2011-VardoulakisS #continuation #multi #stack
Ordering multiple continuations on the stack (DV, OS), pp. 13–22.
ESOP-2010-VardoulakisS #analysis #approach #control flow #named
CFA2: A Context-Free Approach to Control-Flow Analysis (DV, OS), pp. 570–589.

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.