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 × Israel
2 × USA
Collaborated with:
P.M.Melliar-Smith M.Moriconi R.E.Shostak
Talks about:
verif (2) logic (2) treatment (1) construct (1) abstract (1) generat (1) axiomat (1) automat (1) specif (1) routin (1)

Person: Richard L. Schwartz

DBLP DBLP: Schwartz:Richard_L=

Contributed to:

CADE 19821982
ICALP 19811981
ICSE 19811981
ICALP 19791979

Wrote 4 papers:

CADE-1982-ShostakSM #logic #named #specification #verification
STP: A Mechanized Logic for Specification and Verification (RES, RLS, PMMS), pp. 32–49.
ICALP-1981-MoriconiS #automation #generative #hoare #logic #verification
Automatic Construction of Verification Condition Generators From Hoare Logics (MM, RLS), pp. 363–377.
ICSE-1981-SchwartzM #data type
The Finalization Operation for Abstract Types (RLS, PMMS), pp. 273–282.
ICALP-1979-Schwartz #algol #axiom
An Axiomatic Treatment of Algol 68 Routines (RLS), pp. 530–545.

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.