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 × Hungary
Collaborated with:
H.Ehrich R.Chadha P.Mateus C.Sernadas G.Denker
Talks about:
object (2) probabilist (1) construct (1) communiti (1) sequenti (1) approach (1) program (1) databas (1) algebra (1) system (1)

Person: Amílcar Sernadas

DBLP DBLP: Sernadas:Am=iacute=lcar

Facilitated 1 volumes:

VLDB 1991Ed

Contributed to:

CSL 20062006
VLDB 19871987

Wrote 3 papers:

CSL-2006-ChadhaMS #probability #reasoning #source code
Reasoning About States of Probabilistic Sequential Programs (RC, PM, AS), pp. 240–255.
VLDB-1987-SernadasSE #algebra #approach #database #object-oriented #specification
Object-Oriented Specification of Databases: An Algebraic Approach (AS, CS, HDE), pp. 107–116.
TAPSOFT-1993-EhrichDS #community
Constructing Systems as Object Communities (HDE, GD, AS), pp. 453–467.

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.