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 × Spain
1 × USA
Collaborated with:
B.Beckert V.Klebanov C.Scheben P.H.Schmitt M.Ulbrich
Talks about:
softwar (1) semant (1) orient (1) object (1) inform (1) trace (1) logic (1) dynam (1) flow (1)

Person: Daniel Bruns

DBLP DBLP: Bruns:Daniel

Contributed to:

CADE 20132013
LOPSTR 20132013

Wrote 2 papers:

CADE-2013-BeckertB #logic #semantics
Dynamic Logic with Trace Semantics (BB, DB), pp. 315–329.
LOPSTR-2013-BeckertBKSSU #data flow #object-oriented
Information Flow in Object-Oriented Software (BB, DB, VK, CS, PHS, MU), pp. 19–37.

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.