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 × Estonia
1 × Italy
1 × Portugal
1 × Slovenia
1 × South Africa
1 × The Netherlands
1 × United Kingdom
5 × Germany
Collaborated with:
∅ J.Schäfer I.Schaefer J.O.Blech J.Meyer P.Müller F.Damiani Y.Welsch K.R.M.Leino Y.Zhou N.Rinetzky G.Ramalingam M.Sagiv E.Yahav
Talks about:
program (5) specif (5) system (4) base (3) implement (2) languag (2) object (2) logic (2) check (2) use (2)

♂ Person: Arnd Poetzsch-Heffter

DBLP DBLP: Poetzsch-Heffter:Arnd

Facilitated 4 volumes:

SLE 2014PrCo
SLE 2013PrCo
SLE 2012PrCo
LDTA 2005PrCo

Contributed to:

SAC 20122012
ECOOP 20102010
SEFM 20082008
COCV 20072007
ESOP 20072007
PLDI 20022002
TACAS 20002000
ESOP 19991999
CC 19941994
PLILP 19931993
CC 19921992
PLILP 19911991
CCHSC 19881988

Wrote 13 papers:

SAC-2012-DamianiPW #object-oriented #programming #type system
A type system for checking specialization of packages in object-oriented programming (FD, APH, YW), pp. 1737–1742.
ECOOP-2010-SchaferP #component #concurrent #named
JCoBox: Generalizing Active Objects to Concurrent Components (JS, APH), pp. 275–299.
SEFM-2008-SchaeferP #adaptation #composition #embedded #modelling #reasoning #verification
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems (IS, APH), pp. 95–104.
COCV-2007-BlechP #code generation
A Certifying Code Generation Phase (JOB, APH), pp. 65–82.
ESOP-2007-RinetzkyPRSY #analysis #composition #encapsulation #source code
Modular Shape Analysis for Dynamically Encapsulated Programs (NR, APH, GR, MS, EY), pp. 220–236.
PLDI-2002-LeinoPZ #using
Using Data Groups to Specify and Check Side Effects (KRML, APH, YZ), pp. 246–257.
TACAS-2000-MeyerP #architecture #interactive #proving
An Architecture for Interactive Program Provers (JM, APH), pp. 63–77.
ESOP-1999-Poetzsch-HeffterM #java #logic #programming
A Programming Logic for Sequential Java (APH, PM), pp. 162–176.
CC-1994-Poetzsch-Heffter #formal method #performance #specification
Developing Efficient Interpreters Based on Formal Language Specifications (APH), pp. 233–247.
PLILP-1993-Poetzsch-Heffter #programming language #prototype #specification #using
Programming Language Specification and Prototyping Using the MAX System (APH), pp. 137–150.
CC-1992-Poetzsch-Heffter #identification #implementation #specification
Implementing High-Level Identification Specifications (APH), pp. 59–65.
PLILP-1991-Poetzsch-Heffter #specification
Logic-Based Specification of Visibility Rules (APH), pp. 63–74.
CCHSC-1988-Poetzsch-Heffter #compilation #implementation #optimisation #specification
Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC (APH), pp. 190–203.
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.