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 × Canada
1 × Croatia
1 × Finland
1 × Portugal
1 × Switzerland
1 × USA
Collaborated with:
F.Logozzo K.R.M.Leino D.A.Naumann M.Fähndrich P.Cousot R.Cousot J.Aldrich D.Giannakopoulou G.T.Leavens N.Sharygina W.Grieskamp L.Nachmanson W.Schulte N.Tillmann M.Veanes
Talks about:
contract (2) toward (2) base (2) unstructur (1) precondit (1) interpret (1) framework (1) refactor (1) abstract (1) weakest (1)

Person: Michael Barnett

DBLP DBLP: Barnett:Michael

Contributed to:

OOPSLA 20122012
SAC 20102010
ESEC/FSE 20072007
PASTE 20052005
LICS 20042004
FATES 20032003

Wrote 6 papers:

OOPSLA-2012-CousotCLB #abstract interpretation #contract #framework #refactoring
An abstract interpretation framework for refactoring with application to extract methods with contracts (PC, RC, FL, MB), pp. 213–232.
SAC-2010-FahndrichBL #contract #embedded
Embedded contract languages (MF, MB, FL), pp. 2103–2110.
ESEC-FSE-2007-AldrichBGLS #component #specification #verification
Specification and verification of component-based systems 2007 (JA, MB, DG, GTL, NS), pp. 609–610.
PASTE-2005-BarnettL #source code
Weakest-precondition of unstructured programs (MB, KRML), pp. 82–87.
LICS-2004-NaumannB #imperative #invariant #reasoning #towards
Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (DAN, MB), pp. 313–323.
FATES-2003-BarnettGNSTV #modelling #testing #towards
Towards a Tool Environment for Model-Based Testing with AsmL (MB, WG, LN, WS, NT, MV), pp. 252–266.

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.