scientific article

zbMath0427.68027MaRDI QIDQ3863052

Patrick Salle

Publication date: 1979

Full work available at URL: https://eudml.org/doc/92096

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

program transformationssemantics of control structures

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)

Cites Work

• Flow diagrams, turing machines and languages with only two formation rules
• Unnamed Item
• Unnamed Item

This page was built for publication: