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 × France
3 × USA
Collaborated with:
D.W.Loveland R.L.Schwartz P.M.Melliar-Smith R.S.Boyer J.S.Moore J.H.Wensley M.W.Green K.N.Levitt
Talks about:
verif (2) transform (1) interpret (1) simplifi (1) program (1) formula (1) analysi (1) theori (1) system (1) specif (1)

Person: Robert E. Shostak

DBLP DBLP: Shostak:Robert_E=

Facilitated 1 volumes:

CADE 1984Ed

Contributed to:

CADE 19821982
CADE 19801980
ICSE 19761976
POPL 19761976

Wrote 5 papers:

Deciding Combinations of Theories (RES), pp. 209–222.
CADE-1982-ShostakSM #logic #named #specification #verification
STP: A Mechanized Logic for Specification and Verification (RES, RLS, PMMS), pp. 32–49.
Simplifying Interpreted Formulas (DWL, RES), pp. 97–109.
ICSE-1976-WensleyGLS #analysis #design #fault tolerance #verification
The Design, Analysis, and Verification of the SIFT Fault-Tolerant System (JHW, MWG, KNL, RES), pp. 458–469.
POPL-1976-BoyerMS #program transformation #recursion
Primitive Recursive Program Transformations (RSB, JSM, RES), pp. 171–174.

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.