BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Germany
5 × USA
Collaborated with:
F.B.Schneider S.S.Owicki J.Widom V.Nguyen
Talks about:
proof (3) softwar (2) program (2) network (2) correct (2) system (2) engin (2) profession (1) incomplet (1) properti (1)

Person: David Gries

DBLP DBLP: Gries:David

Contributed to:

ITiCSE 20022002
CSEE 19941994
SEI 19901990
ICSE 19891989
POPL 19871987
POPL 19851985
ICSE 19761976
SOSP 19751976

Wrote 8 papers:

ITiCSE-2002-Gries #education #problem
Problems with CS education (DG), p. 135.
CSEE-1994-GriesS #education #logic
Teaching Logic as a Tool (DG, FBS), p. 599.
SEI-1990-Gries
Instilling Professionalism in Software Engineers (DG), p. 1.
ICSE-1989-Gries #re-engineering
My Thoughts on Software Engineering in the Late 1960s (DG), p. 98.
POPL-1987-WidomGS #network #proving
Completeness and Incompleteness of Trace-Based Network Proof Systems (JW, DG, FBS), pp. 27–38.
POPL-1985-NguyenGO #network #process #proving
A Model and Temporal Proof System for Networks of Processes (VN, DG, SSO), pp. 121–131.
ICSE-1976-Gries #correctness #proving #source code
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (DG), p. 200.
SOSP-J-1975-OwickiG76 #approach #axiom #parallel #source code #verification
Verifying Properties of Parallel Programs: An Axiomatic Approach (SSO, DG), pp. 279–285.

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.