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 × Austria
1 × Italy
1 × United Kingdom
Collaborated with:
H.Partsch H.Ehrig F.Orejas K.Didrich W.Grieskamp C.Maeder M.Broy W.Dosch M.Wirsing
Talks about:
abstract (2) algebra (2) type (2) data (2) existenti (1) quantifi (1) function (1) program (1) languag (1) specif (1)

Person: Peter Pepper

DBLP DBLP: Pepper:Peter

Contributed to:

IFL 19971997
ICALP 19891989
Requirements Engineering 19831983
ICALP 19791979

Wrote 4 papers:

IFL-1997-DidrichGMP #algebra #in the large #programming
Programming in the Large: The Algebraic-Functional Language Opal 2α (KD, WG, CM, PP), pp. 322–337.
ICALP-1989-EhrigPO #algebra #on the #roadmap #specification
On Recent Trends in Algebraic Specification (HE, PP, FO), pp. 263–288.
RE-1983-PartschP #data type
Abstract Data Types as a Tool for Requirement Engineering (HP, PP), pp. 42–55.
ICALP-1979-BroyDPPW #data type #quantifier
Existential Quantifiers in Abstract Data Types (MB, WD, HP, PP, MW), pp. 73–87.

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.