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: Shostak:Robert_E=
Facilitated 1 volumes:
EdContributed to:
19821980
1976
1976Wrote 5 papers:
- CADE-1982-Shostak
- 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.
- CADE-1980-LovelandS
- 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.