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
3 × USA
Collaborated with:
∅
Talks about:
pointer (2) analysi (2) data (2) interprocedur (1) interpret (1) techniqu (1) structur (1) function (1) determin (1) abstract (1)

Person: Alain Deutsch

DBLP DBLP: Deutsch:Alain

Contributed to:

POPL 19971997
PEPM 19951995
PLDI 19941994
POPL 19901990

Wrote 4 papers:

POPL-1997-Deutsch #analysis #complexity #on the
On the Complexity of Escape Analysis (AD), pp. 358–371.
PEPM-1995-Deutsch #abstract interpretation #data type #induction #modelling #pointer #semantics
Semantic models and abstract interpretation techniques for inductive data structures and pointers (AD), pp. 226–229.
PLDI-1994-Deutsch #alias #analysis #interprocedural #pointer
Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting (AD), pp. 230–241.
POPL-1990-Deutsch #alias #functional #higher-order #on the #specification
On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications (AD), pp. 157–168.
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.