scientific article; zbMATH DE number 549927

MaRDI QIDQ4287438zbMATH OpenFDO

Authors

Publication date 22 August 1996

zbMATH Keywords

\(\lambda\)-calculus\(Z\) specificationFORTRAN programgrammarsoperating systems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Theory of operating systems (68N25) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3327828
• scientific article; zbMATH DE number 218363
• scientific article; zbMATH DE number 400801
• scientific article; zbMATH DE number 618021
• scientific article; zbMATH DE number 756366
• Programming languages: Principles and paradigms
• scientific article; zbMATH DE number 944398

Cited in

(1)

• scientific article; zbMATH DE number 218363 (Why is no real title available?)

This page was built for publication:

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