We are gradually moving the dblp web pages to HTTPS, and you are still viewing this page via HTTP.
Please click here to switch to HTTPS.
default search action
combined dblp search
author search
venue search
publication search
Semantic Scholar search
Authors:
no matches
Venues:
no matches
Publications:
no matches
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
Ilya Sergey
◀
▶
joint publications with
David Van Horn
Trier 1
Trier 2
Dagstuhl
>
Home
>
Persons
>
Ilya Sergey
>
Home
>
Persons
>
David Van Horn
Publications
2014
[j2]
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/jfp/JohnsonSEMH14
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/jfp/JohnsonSEMH14
J. Ian Johnson
,
Ilya Sergey
,
Christopher Earl
,
Matthew Might
,
David Van Horn
:
Pushdown flow analysis with abstract garbage collection.
J. Funct. Program.
24
(
2-3
)
:
218-283
(
2014
)
[i3]
view
electronic edition @ arxiv.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/corr/JohnsonSEMH14
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/corr/JohnsonSEMH14
J. Ian Johnson
,
Ilya Sergey
,
Christopher Earl
,
Matthew Might
,
David Van Horn
:
Pushdown flow analysis with abstract garbage collection.
CoRR
abs/1406.5106
(
2014
)
2012
[c4]
view
electronic edition @ acm.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
conf/icfp/EarlSMH12
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/conf/icfp/EarlSMH12
Christopher Earl
,
Ilya Sergey
,
Matthew Might
,
David Van Horn
:
Introspective pushdown analysis of higher-order programs.
ICFP
2012
:
177-188
[i1]
view
electronic edition @ arxiv.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/corr/abs-1207-1813
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/corr/abs-1207-1813
Christopher Earl
,
Ilya Sergey
,
Matthew Might
,
David Van Horn
:
Introspective Pushdown Analysis of Higher-Order Programs.
CoRR
abs/1207.1813
(
2012
)
maintained by
at
home
news
statistics
browse
persons
conferences
journals
series
search
search dblp
lookup by ID
about
f.a.q.
team
legal bits