A proof system for the parallel object-oriented language POOL

DOI10.1007/BFB0032059MaRDI QIDQ4038719zbMATH OpenFDO

Authors Frank S. de Boer

Publication date 18 May 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0032059

zbMATH Keywords

parallel object-oriented language POOLpartial correctness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(3)

• Semantic Correctness for a Parallel Object-Oriented Language
• Foreword
• POEMS: A Parallel Object-oriented Environment for Multi-computer Systems

Describes a project that uses

Uses Software

• POOL

This page was built for publication: A proof system for the parallel object-oriented language POOL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4038719)