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 × Austria
1 × Italy
Collaborated with:
F.Zuleger H.Veith S.Gulwani
Talks about:
analysi (4) bound (2) abstract (1) scalabl (1) program (1) complex (1) static (1) simpl (1) imper (1) chang (1)

Person: Moritz Sinn

DBLP DBLP: Sinn:Moritz

Contributed to:

CAV 20142014
SAS 20112011

Wrote 2 papers:

CAV-2014-SinnZV #bound #complexity #scalability #static analysis
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis (MS, FZ, HV), pp. 745–761.
SAS-2011-ZulegerGSV #abstraction #analysis #bound #imperative #source code
Bound Analysis of Imperative Programs with the Size-Change Abstraction (FZ, SG, MS, HV), pp. 280–297.

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.