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 × Poland
1 × United Kingdom
Collaborated with:
F.Frohn J.Giesl J.Hensel T.Ströder
Talks about:
contribut (1) competit (1) program (1) complex (1) termin (1) safeti (1) runtim (1) memori (1) lower (1) infer (1)

Person: Cornelius Aschermann

DBLP DBLP: Aschermann:Cornelius

Contributed to:

RTA 20152015
TACAS 20152015

Wrote 2 papers:

RTA-2015-FrohnGHAS #bound #complexity #runtime
Inferring Lower Bounds for Runtime Complexity (FF, JG, JH, CA, TS), pp. 334–349.
TACAS-2015-StroderAFHG #c #contest #memory management #named #safety #source code #termination
AProVE: Termination and Memory Safety of C Programs — (Competition Contribution) (TS, CA, FF, JH, JG), pp. 417–419.
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.