Another side of SPoC:
occam's ALTer ego dissected with PC-lint

WoTUG 22

11-14 April 1999
Department of Computer Science
Keele University
UK

Øyvind TEIG
Navia Maritime AS, Division Autronica
7005 Trondheim, Norway

www.navia.no - www.autronica.no
New address 2001

Presentation
Abstract - Ahead - Safe C - The product - SPoC- PC-lint - IF i = 0 FOR x - continue; break; - State machines - Unreachable - Label not ref. - Control flow - occam revisited - Files - Summary
References - The paper (doc, ps)