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 × Finland
1 × France
1 × The Netherlands
1 × USA
2 × Germany
2 × Italy
Collaborated with:
R.Echahed H.R.Barradas F.Cave C.Oriat B.M.Østvold S.Boulmé M.Potet A.Requet L.Voisin P.Drabik O.Declerfayt D.Demeuse P.Schobbens F.Wautier
Talks about:
system (6) abstract (3) program (3) generic (3) specif (3) function (2) languag (2) assumpt (2) rewrit (2) logic (2)

Person: Didier Bert

DBLP DBLP: Bert:Didier

Contributed to:

IFM 20052005
FME 20032003
IFM 20022002
IFM 20002000
ILPS 19951995
WSA 19931993
ESOP 19881988
ESOP 19861986

Wrote 9 papers:

IFM-2005-BarradasB #fixpoint #semantics
A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions (HRB, DB), pp. 327–346.
FME-2003-BertBPRV #adaptation #c #embedded #source code #specification
Adaptable Translator of B Specifications to Embedded C Programs (DB, SB, MLP, AR, LV), pp. 94–113.
IFM-2002-BarradasB #liveness #proving #specification
Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems (HRB, DB), pp. 360–379.
IFM-2000-BertC #finite
Construction of Finite Labelled Transistion Systems from B Abstract Systems (DB, FC), pp. 235–254.
ILPS-1995-DidierE #abstraction #term rewriting
Abstraction of Conditional Term Rewriting Systems (DB, RE), pp. 162–176.
Abstract Rewriting (DB, RE, BMØ), pp. 178–192.
ESOP-1988-BertDEDDSW #functional #logic #named #programming language
LPG: A Generic, Logic and Functional Programming Language (DB, PD, RE, OD, DD, PYS, FW), pp. 376–377.
ESOP-1986-BertE #design #functional #implementation #logic #programming language
Design and Implementation of a Generic, Logic and Functional Programming Language (DB, RE), pp. 119–132.
TAPSOFT-1995-BertO #model inference #specification
A Model Inference System for Generic Specification with Application to Code Sharing (DB, CO), pp. 741–755.

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.