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 × Italy
1 × Portugal
1 × Spain
1 × United Kingdom
Collaborated with:
H.Seidl A.Flexeder S.S.Frielinghaus
Talks about:
analys (2) interprocedur (1) procedur (1) polynomi (1) herbrand (1) variabl (1) assembl (1) analysi (1) linear (1) effect (1)

Person: Michael Petter

DBLP DBLP: Petter:Michael

Contributed to:

ESOP 20152015
SAS 20112011
SAS 20082008
ESOP 20072007

Wrote 4 papers:

ESOP-2015-FrielinghausPS #interprocedural
Inter-procedural Two-Variable Herbrand Equalities (SSF, MP, HS), pp. 457–482.
SAS-2011-FlexederPS #analysis #assembly
Side-Effect Analysis of Assembly Code (AF, MP, HS), pp. 77–94.
SAS-2008-SeidlFP #equation #polynomial
Analysing All Polynomial Equations in ℤ₂ᵂ (HS, AF, MP), pp. 299–314.
ESOP-2007-SeidlFP #difference #linear
Interprocedurally Analysing Linear Inequality Relations (HS, AF, MP), pp. 284–299.

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.