✦ LIBER ✦

A general proof rule for procedures in predicate transformer semantics

✍ Scribed by Alain J. Martin

Publisher: Springer-Verlag
Year: 1983
Tongue: English
Weight: 522 KB
Volume: 20
Category: Article
ISSN: 0001-5903
DOI: 10.1007/bf00264276

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A sharp proof rule for procedures in wp

A sharp proof rule for procedures in wp semantics

✍ A. Bijlsma; P. A. Matthews; J. G. Wiltink 📂 Article 📅 1989 🏛 Springer-Verlag 🌐 English ⚖ 545 KB

A rule-based procedure for generating pr

A rule-based procedure for generating programmable logic controller code from graphical input in the form of ladder diagrams

✍ H.A. Barker; J. Song; P. Townsend 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 570 KB

This paper is concerned with a procedure for the automatic generation of code for programmable logic controllers. Input to the procedure is data from a graphical model of the discrete event dynamic system which is to be implemented. The model is constructed in the form of a ladder diagram at a graph